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