2000
1999
- Conjunctive Partial Deduction: Foundations, Control, Algorithms, and ExperimentsDanny De Schreye, Robert Glück, Jesper Jørgensen, Michael Leuschel, Bern Martens, Morten Heine Sørensen. jlp, 41(2-3):231-277, 1999.
1998
1997
1996
1995
1994
1993
1992
1991
1988