WANG'S ALGORITHM

1. Wang, Hao (1960), "Toward Mechanical Mathematics", IBM Journal of Research and Development 4(1) (January): 2-22.
   • PDF available from the website linkable from the title above.

2. Schagrin, Morton; Rapaport, William J.; & Dipert, Randall R. (1985), Logic: A Computer Approach.
   • Ch. 6: "Algorithms for Truth Tables and Determining Validity" has a section on Wang's Algorithm (pp. 114ff).
   • PDF

3. Stuart C. Shapiro's Postscript slides on Wang's Algorithm

4. Stuart C. Shapiro's Lisp code for Wang's Algorithm

5. Shapiro, Stuart C. (1994), "Reasoning in Artificial Intelligence: Course Notes for 1st International Summer Institute in Cognitive Science" [Postscript]

6. Mellish, Chris (1983), "Theorem Proving: Wang's Algorithm"