Conjunctive partial deduction: foundations, control, algorithms, and experiments

Danny De Schreye, Robert Glück, Jesper Jørgensen, Michael Leuschel, Bern Martens, Morten Heine Sørensen

Originalsprog	Engelsk
Tidsskrift	The journal of logic programming
Vol/bind	41
Udgave nummer	2&3
Sider (fra-til)	231-277
ISSN	0743-1066
DOI	https://doi.org/10.1016/S0743-1066(99)00030-8 https://doi.org/10.1016/S0743-1066(99)00070-9
Status	Udgivet - 1999

Adgang til dokumentet

@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",

}

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

SN - 0743-1066

VL - 41

SP - 231

EP - 277

JO - Journal of Logic Programming

JF - Journal of Logic Programming

IS - 2&3

ER -