Modular termination proofs for logic and pure Prolog programs - Apt, Krzysztof R. 1949-; Pedreschi, Dino (1993)