Automated Modular Termination Proofs for Real Prolog Programs (1996)

by Martin Müller, Thomas Glaß, Karl Stroetmann
Venue:In Proc. of 3rd SAS, LNCS 1145