Semantic Models for a Logic of Partial Functions. - Cliff B. Jones; Matthew J. Lovert (Int. J. Softw. Informatics, 2011)

A Semantic Analysis of Logics That Cope with Partial Terms. - Cliff B. Jones; Matthew J. Lovert; L. Jason Steggles (ABZ, 2012)

On the mechanisation of the logic of partial functions. - Matthew J. Lovert (2013)

Revising basic theorem proving algorithms to cope with the logic of partial functions. - Cliff B. Jones; Matthew J. Lovert; L. Jason Steggles (Sci. Comput. Program., 2014)