A prolog technology theorem prover: Implementation by an extended prolog compiler Mark E. Stickel OriginalPaper Pages: 353 - 380
Inferring negative information from disjunctive databases Kenneth A. RossRodney W. Topor OriginalPaper Pages: 397 - 424
A new reduction rule for the connection graph proof procedure Klaus Heje Munch OriginalPaper Pages: 425 - 444
The problem of self-analytically choosing the weights Larry Wos Basic Research Problem Pages: 463 - 464
Opening the AC-unification race Hans-Jürgen BürckertAlexander HeroldHantao Zhang Problem Corner Pages: 465 - 474