Reihe Lecture Notes in Artificial IntelligenceLutz Plümer × Termination Proofs for Logic Programs Lutz PlümerSpringer BerlineBook2005 Termination Proofs for Logic Programs Lutz PlümerSpringer BerlinSoftcover1990