Home › Authors › Lutz Plümer 👤 Lutz Plümer 1 book Books by Lutz Plümer Termination proofs for logic programs 1990