(Click on the linkable items above to do a Google search on them.)

Last Update: 21 February 2005

Note: NEW or UPDATED material is highlighted

  1. Wang, Hao (1960), "Toward Mechanical Mathematics", IBM Journal of Research and Development 4(1) (January): 2-22.

  2. Schagrin, Morton; Rapaport, William J.; & Dipert, Randall R. (1985), Logic: A Computer Approach.

  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"

Copyright © 2002-2005 by William J. Rapaport (
file: 563S05/wang-2005-02-16.html