"Proving the correctness of algorithmic debugging for functional programs."

Yong Luo, Olaf Chitil (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics