Termination Proofs for Logic Programs (1990)

by L Plumer