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

Document Versions

Conjunctive Partial Deduction in Practice –Jesper Jørgensen, Michael Leuschel, Bern Martens — 1996 — Proceedings of the International Workshop on Logic Program Synthesis and Transformation (LOPSTR'96), LNCS 1207
Conjunctive partial deduction in practice –Jesper Jørgensen, Michael Leuschel, Bern Martens — 1996 — Proceedings of the International Workshop on Logic Program Synthesis and Transformation (LOPSTR'96), LNCS 1207