Lutz Plümer

• Termination proofs for logic programs