Fachartikel
Termination of Isabelle functions via termination of rewriting
HMD Praxis der Wirtschaftsinformatik, Dezember 2020 (Christoph Thelen, Susanne Apel, Christian Fritz) zum Artikel