Studies in Pure Prolog: Termination (1990)

by K R Apt, D Pedreschi
Venue:Proc. Esprit Symp. on Comp. Logic