Reasoning about termination of Prolog programs - Apt, Krzysztof R. 1949-; Pedreschi, Dino (Università degli Studi <Pisa> / Dipartimento di Informatica: Technical report, 1991)