Divide-and-query and subterm dependency tracking in the mercury declarative debugger.

Ian MacLarty Zoltan Somogyi Mark Brown Divide-and-query and subterm dependency tracking in the mercury declarative debugger. 59-68 2005 conf/aadebug/2005 AADEBUG http://doi.acm.org/10.1145/1085130.1085138 db/conf/aadebug/aadebug2005.html#MacLartySB05