Simon Finn Michael P. Fourman John Longley Partial Functions in a Total Setting. 85-104 1997 18 J. Autom. Reasoning 1 db/journals/jar/jar18.html#FinnFL97