1. Description of LISP Functions in the Theorem Prover;Bledsoe,1970
2. Working Paper on a Proofchecker for Set Theory;MorrisJames,1969
3. E-Resolution: Extension of Resilution to Include the Equality Relation;MorrisJames,1969
4. Completeness Results for E-Resolution;Anderson,1970
5. Paramodulation and Theorem-proving in First-order Theories with Equality;Robinson,1969