1. Algorithmic program debugging;Shapiro,1982
2. A comparative study of algorithmic debugging strategies;Silva,2007
3. Generalized algorithmic debugging and testing;Fritzson;ACM Lett Program Lang Syst (LOPLAS),1992
4. Nilsson H. Declarative debugging for lazy functional languages. Ph.D. thesis. Sweden: Linköping; 1998.
5. Pope B. A declarative debugger for Haskell. Ph.D. thesis. Australia: The University of Melbourne; 2006.