Automatisierung von Terminierungsbeweisen für rekursiv definierte AlgorithmenJürgen GieslAgotadoNotifícame