An introduction to Wu's method for mechanical theorem proving in geometry Shang-Ching Chou OriginalPaper Pages: 237 - 267
Non-Horn clause logic programming without contrapositives David A. Plaisted OriginalPaper Pages: 287 - 325
The problem of self-analytically choosing the set of support Larry Wos Basic Research Problems Pages: 327 - 329
Proving equivalence of different axiomatizations of free groups Deepak KapurHantao Zhang Problem Corner Pages: 331 - 352