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 |