A comparison of the variable-abstraction and constant-abstraction methods for associative-commutative unification Mark E. Stickel OriginalPaper Pages: 285 - 289
A method for the mechanical derivation of formulas in elementary geometry Shang-Ching Chou OriginalPaper Pages: 291 - 299
Explicit representation of terms defined by counter examples J. -L. LassezK. Marriott OriginalPaper Pages: 301 - 317
The problem of extending the set of support strategy Larry Wos Basic Research Problems Pages: 319 - 328