Yong Luo Olaf Chitil Proving the correctness of algorithmic debugging for functional programs. 19-34 2006 conf/sfp/2006 Trends in Functional Programming db/conf/sfp/tfp2006.html#LuoC06