Partial functions in a total setting (1997)

by S Finn, M P Fourman, J Longley
Venue:J. Automat. Reason