Automatisierung von Terminierungsbeweisen für rekursiv definierte AlgorithmenJürgen GieslÉpuiséPrévenez-moi
