Shortest Single Axioms for the Equivalential Calculus with CD and RCD. - Kahlil Hodgson (J. Autom. Reason., 1998)

System Description: SCOTT-5. - Kahlil Hodgson; John K. Slaney (IJCAR, 2001)

TPTP, CASC and the development of a semantically guided theorem prover. - Kahlil Hodgson; John K. Slaney (AI Commun., 2002)