"Controlling Search Space Materialization in a Practical Declarative Debugger."

Ian MacLarty, Zoltan Somogyi (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics