Standard
Conjunctive partial deduction: foundations, control, algorithms, and experiments. / De Schreye, Danny; Glück, Robert; Jørgensen, Jesper; Leuschel, Michael; Martens, Bern; Sørensen, Morten Heine.
In:
The journal of logic programming, Vol. 41, No. 2&3, 1999, p. 231-277.
Research output: Contribution to journal › Journal article › Research › peer-review
Harvard
De Schreye, D
, Glück, R, Jørgensen, J, Leuschel, M, Martens, B & Sørensen, MH 1999, '
Conjunctive partial deduction: foundations, control, algorithms, and experiments',
The journal of logic programming, vol. 41, no. 2&3, pp. 231-277.
https://doi.org/10.1016/S0743-1066(99)00030-8,
https://doi.org/10.1016/S0743-1066(99)00070-9APA
De Schreye, D.
, Glück, R., Jørgensen, J., Leuschel, M., Martens, B., & Sørensen, M. H. (1999).
Conjunctive partial deduction: foundations, control, algorithms, and experiments.
The journal of logic programming,
41(2&3), 231-277.
https://doi.org/10.1016/S0743-1066(99)00030-8,
https://doi.org/10.1016/S0743-1066(99)00070-9Vancouver
Author
De Schreye, Danny ; Glück, Robert ; Jørgensen, Jesper ; Leuschel, Michael ; Martens, Bern ; Sørensen, Morten Heine. / Conjunctive partial deduction: foundations, control, algorithms, and experiments. In: The journal of logic programming. 1999 ; Vol. 41, No. 2&3. pp. 231-277.
Bibtex
@article{3c6d391bd2644f63808b4e4a65d2a2d5,
title = "Conjunctive partial deduction: foundations, control, algorithms, and experiments",
author = "{De Schreye}, Danny and Robert Gl{\"u}ck and Jesper J{\o}rgensen and Michael Leuschel and Bern Martens and S{\o}rensen, {Morten Heine}",
year = "1999",
doi = "10.1016/S0743-1066(99)00030-8",
language = "English",
volume = "41",
pages = "231--277",
journal = "Journal of Logic Programming",
issn = "0743-1066",
publisher = "Elsevier",
number = "2&3",
}
RIS
TY - JOUR
T1 - Conjunctive partial deduction: foundations, control, algorithms, and experiments
AU - De Schreye, Danny
AU - Glück, Robert
AU - Jørgensen, Jesper
AU - Leuschel, Michael
AU - Martens, Bern
AU - Sørensen, Morten Heine
PY - 1999
Y1 - 1999
U2 - 10.1016/S0743-1066(99)00030-8
DO - 10.1016/S0743-1066(99)00030-8
M3 - Journal article
VL - 41
SP - 231
EP - 277
JO - Journal of Logic Programming
JF - Journal of Logic Programming
SN - 0743-1066
IS - 2&3
ER -
