Studies in pure Prolog: termination - Apt, Krzysztof R. 1949-; Pedreschi, Dino (1990)