Completeness theorem. - James Margetson; Tom Ridge (Arch. Formal Proofs, 2004)

A Mechanically Verified, Sound and Complete Theorem Prover for First Order Logic. - Tom Ridge; James Margetson (TPHOLs, 2005)

Extensible pattern matching via a lightweight language extension. - Don Syme; Gregory Neverov; James Margetson (ICFP, 2007)

Measure Transformer Semantics for Bayesian Machine Learning. - Johannes Borgström; Andrew D. Gordon 001; Michael Greenberg 002; James Margetson; Jurgen Van Gael (Log. Methods Comput. Sci., 2013)