Termination proofs for logic programs - Plmer, Lutz- (Berlin Springer-Verlag, 1990)
Revised version of author's thesis
Includes bibliographical references (p.(132)-139 and index
Keywords: Logic programming; Artificial intelligence