Symbolic Animation as a Proof Tool. - Juanito Camilleri; Vincent Zammit (TPHOLs, 1994)

A Mechanisation of Computability Theory in HOL. - Vincent Zammit (TPHOLs, 1996)

A Comparative Study of Coq and HOL. - Vincent Zammit (TPHOLs, 1997)

On the Implementation of an Extensible Declarative Proof Language. - Vincent Zammit (TPHOLs, 1999)

On the readability of machine checkable formal proofs. - Vincent Zammit (1999)