1. Declarative Debugging of a Logical-Functional Language;Barbour,1994
2. Logic Programs for Consistency-Based Diagnosis;Bond,1994
3. Debugging lazy functional programs by asking the oracle;Braßel,2007
4. A declarative debugger of incorrect answers for constraint functional-logic programs;Caballero,2005
5. EDD: a declarative debugger for sequential Erlang programs;Caballero,2014