TY  - BOOK
AU  - Plmer,Lutz-
TI  - Termination proofs for logic programs
SN  - 3540528377
PY  - 1990///
CY  - Berlin
PB  - Springer-Verlag
KW  - Logic programming
KW  - Artificial intelligence
N1  - Revised version of author's thesis; Includes bibliographical references (p.(132)-139 and index
ER  -