Structure sharing for quantified terms: Fundamentals John StaplesPeter J. Robinson OriginalPaper Pages: 115 - 145
Protected completions of first-order general logic programs James J. LuV. S. Subrahmanian OriginalPaper Pages: 147 - 172
Decision procedures for elementary sublanguages of set theory D. CantoneV. Cutello OriginalPaper Pages: 189 - 201
A procedure to prove statements in differential geometry Giuseppa CarrĂ FerroGiovanni Gallo OriginalPaper Pages: 203 - 209
The problem of finding a mapping between clause representation and natural-deduction representation Larry Wos Basic Research Problem Pages: 211 - 212