Conjunctive partial deduction in practice (1997)

by J Jørgensen, M Leuschel, B Martens
Venue:In Logic Program Synthesis and Transformation, Proceedings of LoPSTr ’96