Conjunctive partial deduction in practice (1996)

by J Jrgensen, M Leuschel, B Martens
Venue:Proceedings of the International Workshop on Logic Program Synthesis and Transformation (LOPSTR'96), LNCS 1207