Controlling conjunctive partial deduction of definite logic programs (1996)

by R Gluck, J Jrgensen, B Martens, M H Srensen
Venue:Programming Language Implementation and Logic Programming. Proceedings, LNCS 1140, 152--166