Conjunctive partial deduction in practice (1996)

by J Jørgensen, M Leuschel, B Martens
Venue:Proceedings LOPSTR’96, LNCS 1207