Debugging techniques for declarative languages: Profiling, program slicing and algorithmic debugging.

Josep Silva Debugging techniques for declarative languages: Profiling, program slicing and algorithmic debugging. 91-92 2008 21 AI Commun. 1 http://iospress.metapress.com/content/88501q5713431447/ db/journals/aicom/aicom21.html#Silva08