Ian MacLarty Zoltan Somogyi Controlling Search Space Materialization in a Practical Declarative Debugger. 31-44 2006 conf/padl/2006 PADL http://dx.doi.org/10.1007/11603023_3 db/conf/padl/padl2006.html#MacLartyS06