Reasoning about Termination of Pure Prolog Programs (1993)

by Krzysztof R. Apt, Dino Pedreschi
Venue:Information and Computation