Articles
Partial and nested recursive function definitions in higher-order logic
heise Developer, May 2019 (Josef Adersberger, Alex Krause) View article