The connection between two ways of reasoning about partial functions
scientific article; zbMATH DE number 5694968