Reasoning about termination of Prolog programs - Apt, Krzysztof R. 1949-; Pedreschi, Dino (1991)