1. Abstract diagnosis of functional programs;Alpuente,2002
2. Specification and proof in membership equational logic;Bouhoula;Theoret. Comput. Sci.,2000
3. B. Braßel, The debugger B.I.O., 2008. Available from: .
4. Semantic foundations for generalized rewrite theories;Bruni;Theoret. Comput. Sci.,2006
5. A declarative debugger of incorrect answers for constraint functional-logic programs;Caballero,2005