Partial and nested recursive function definitions in higher-order logic
scientific article; zbMATH DE number 5711941
scientific article