Proving termination in general Prolog programs (1991)

by K Apt, D Pedreschi
Venue:In Proc. of the Internat. Conf. on Theoretical Aspects of Computer Software, LNCS