Partial functions in a total setting (1997)

by Simon Finn, Mike Fourman, John Longley
Venue:J. Automated Reasoning