1. Many hard examples for resolution;Chvátal;JACM,1988
2. James M. Crawford and Larry D. Auton. Experimental results on the crossover point in satisfiability problems. In Proceedings of the Eleventh National Conference on Artificial Intelligence, pages 21–27, 1993.
3. James M. Crawford and Andrew B. Baker. Experimental results on the application of satisfiability algorithms to scheduling problems. In Proceedings of the Twelfth National Conference on Artificial Intelligence, 1994. Submitted.
4. A computing procedure for quantification theory;Davis;J. Assoc. Comput. Mach.,1960
5. An assumption-based truth maintenance system;de Kleer;Artificial Intelligence,1986