Automated modular termination proofs for real prolog programs (1996)

by M Muller, T Gla��, K Stroetmann
Venue:In Proc. of 3rd SAS, LNCS 1145