Professor Cliff Jones Matthew Lovert Dr Jason Steggles
 Revising Basic Theorem Proving Algorithms to Cope with the Logic of Partial Functions  2014 

Professor Cliff Jones Matthew Lovert Dr Jason Steggles
 Revising basic theorem proving algorithms to cope with the logic of partial functions  2013 

Professor Cliff Jones Matthew Lovert Dr Jason Steggles
 A Semantic Analysis of Logics that Cope with Partial Terms  2012 

Professor Cliff Jones Matthew Lovert Dr Jason Steggles
 Towards a Mechanisation of a Logic that Copes with Partial Terms  2012 

Professor Cliff Jones Matthew Lovert
 Semantic Models for a Logic of Partial Functions  2011 

Professor Cliff Jones Matthew Lovert
 Semantic Models for a Logic of Partial Functions  2010 
