Studies in pure Prolog: termination - Apt, Krzysztof R. 1949-; Pedreschi, Dino (Università degli Studi <Pisa> / Dipartimento di Informatica: Technical report, 1990)