Solving open problems in right alternative rings with Z-module reasoning Tie-Cheng WangRick Stevens OriginalPaper Pages: 141 - 165
On the declarative and procedural semantics of logic programs Teodor C. Przymusinski OriginalPaper Pages: 167 - 205
A fuzzy expert system shell using both exact and inexact reasoning K. S. LeungW. Lam OriginalPaper Pages: 207 - 233
The problem of determining the size of a complete set of reductions Larry Wos Basic Research Problem Pages: 235 - 237
Automated reasoning about elementary point-set topology Cynthia A. WickWilliam W. McCune Problem Corner Pages: 239 - 255