Jürgen Giesl Automatisierung von Terminierungsbeweisen für rekursiv definierte Algorithmen. 1-306 Infix 1995 DISKI 96 978-3-89601-096-4