Partial Deduction of the Ground Representation and its Application to Integrity Checking (1995)

by Michael Leuschel, Bern Martens
Venue:Proceedings of ILPS'95, the International Logic Programming Symposium