Reasoning about termination of pure prolog programs (1993)

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