Divide-and-query and subterm dependency tracking in the mercury declarative debugger. - Ian MacLarty; Zoltan Somogyi; Mark Brown (AADEBUG, 2005)

Controlling Search Space Materialization in a Practical Declarative Debugger. - Ian MacLarty; Zoltan Somogyi (PADL, 2006)