1. An interactive theorem-proving program;ALLEN,1969
2. An approach to heuristic problem solving and theorem proving propositional calculus;AMAREL,1967
3. On representations of problems of reasoning about actions;AMAREL,1968
4. ANDERSON, R. (University of Texas). Completeness results for E-resolution. SJCC (1970).
5. A linear format resolution with merging and a new technique for establishing completeness;ANDERSON;JACM,1970