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. Completeness results for E-resolution;Anderson;SJCC,1970
5. A linear format resolution with merging and a new technique for establishing completeness;Anderson;JACM,1970