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
Citations:27 - 19 self