Divideand-query and subterm dependency tracking in the mercury declarative debugger (2005)

by Ian MacLarty, Zoltan Somogyi, Mark Brown
Venue:In AADEBUG’05: Proceedings of the sixth international symposium on Automated analysis-driven debugging