Conjunctive Partial Deduction: Foundations, Control, Algorithms, and Experiments

Conjunctive Partial Deduction: Foundations, Control, Algorithms, and Experiments (1999)

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

Venue:	J. LOGIC PROGRAMMING
Citations:	36 - 17 self

User correction supplied by mph

Datum	Value	Source
TITLE	Conjunctive Partial Deduction: Foundations, Control, Algorithms, and Experiments	user correction
AUTHOR NAME	Danny De Schreye	user correction
AUTHOR AFFIL	Katholieke Universiteit Leuven	user correction
AUTHOR ADDR	Celestijnenlaan 200A, B-3001, Heverlee, Belgium,	user correction
AUTHOR NAME	Robert Glück	user correction
AUTHOR AFFIL	Katholieke Universiteit Leuven	user correction
AUTHOR ADDR	Celestijnenlaan 200A, B-3001, Heverlee, Belgium,	user correction
AUTHOR NAME	Jesper Jørgensen	user correction
AUTHOR AFFIL	; J. Jrgensen, Dept. of; Mathematics and Physics, Royal Veterinary and Agricultural University	user correction
AUTHOR ADDR	Thorvaldsensvej 40, DK1871; Frederiksberg C, Denmark,	user correction
AUTHOR NAME	Michael Leuschel	user correction
AUTHOR AFFIL	M.H. Srensen, Dept. of Computer Science, University of Copenhagen	user correction
AUTHOR ADDR	Universitetsparken; 1, DK-2100 Copenhagen, Denmark,	user correction
AUTHOR NAME	Bern Martens	user correction
AUTHOR NAME	Morten Heine Sørensen	user correction
AUTHOR AFFIL	M.H. Srensen, Dept. of Computer Science, University of Copenhagen	user correction
AUTHOR ADDR	Universitetsparken; 1, DK-2100 Copenhagen, Denmark,	user correction
ABSTRACT		user correction
YEAR	1999	user correction
VENUE	J. LOGIC PROGRAMMING	user correction
PAGES	233--277	user correction
VOLUME	41	user correction
CITATIONS	77 found	ParsCit 1.0