Kahlil Hodgson

TPTP, CASC and the development of a semantically guided theorem prover

John K. Slaney, Kahlil Hodgson, 2002, AI Commun..

System Description: SCOTT-5

John K. Slaney, Kahlil Hodgson, 2001, IJCAR.

Shortest Single Axioms for the Equivalential Calculus with CD and RCD

Kahlil Hodgson, 2004, Journal of Automated Reasoning.

Semantic Guidance for Saturation-Based Theorem Proving

Kahlil Hodgson, John Slaney, J. Slaney, 2000 .