Automatisierung von Terminierungsbeweisen für rekursiv definierte AlgorithmenJürgen GieslAgotado4,3Notifícame
