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