Conjunctive partial deduction in practice (1996)

by J Jrgensen, M Leuschel, B Martens
Venue:Logic Program Synthesis and Transformation. Proceedings of the 6th International Workshop, LOPSTR'96, LNCS 1207, 59--82