Reasoning about termination of pure Prolog programs (1993)

by K R Apt, D Pedreschi
Venue:Information and Computation