Conjunctive Partial Deduction in Practice.

Jesper Jørgensen Michael Leuschel Bern Martens Conjunctive Partial Deduction in Practice. 59-82 1996 conf/lopstr/1996 LOPSTR db/conf/lopstr/lopstr96.html#JorgensenLM96