Title: Automatisierung von Terminierungsbeweisen
Subjects: Algorithmus, Automatisches Beweisverfahren, Terminierung