Partial automation of termination proofs for Prolog programs (1992)

by D Pedreschi, C Pieramico