CT-1991-12: Krzysztof R. Apt, Dino Pedreschi Reasoning about Termination of Prolog Programs 1.Full Text. < Back
