Partial deduction of the ground representation and its application to integrity checking (1995)

by M Leuschel, B Martens
Venue:Proceedings of ILPS’95, the International Logic Programming Symposium, 495–509