A decidable first-order logic for knowledge representation Peter F. Patel-Schneider OriginalPaper Pages: 361 - 388
A sequent-style model elimination strategy and a positive refinement David A. Plaisted OriginalPaper Pages: 389 - 402
Transcendental functions and mechanical theorem proving in elementary geometries Xiaoshan Gao OriginalPaper Pages: 403 - 417
The problem of choosing between predicate and function notation for problem representation Larry Wos Basic Research Problems Pages: 463 - 464
Robbins algebra: Conditions that make a near-boolean algebra boolean S. Winker Problem Corner Pages: 465 - 489