1. Dershowitz N, Hsiang J, Josephson N, Plaisted D. Associative-commutative rewriting. InProceedings of IJCAI, 1983, pp. 940–944.
2. Hsiang J. Refutational theorem proving using term-rewriting systems.Artificial Intelligence, 1985, 16: 255–300.
3. Shensa M J. A computational structure for the propositional calculus. InProceedings of IJCAI, 1989, pp. 384–388.
4. P C Jackson Jr. Heuristic search algorithms for the satisfiability problem. Submitted to the third IEEE TAI Conference, Jul. 1991.
5. Nilsson N J. Principles of Artificial Intelligence. Tioga Publishing Company, Palo Alto, California, 1980.