Conjunctive Partial Deduction in Practice (1996)

by Jesper Jørgensen, Michael Leuschel, Bern Martens
Venue:Proceedings of the International Workshop on Logic Program Synthesis and Transformation (LOPSTR'96), LNCS 1207