A note on a canonical theory with undecidable unification and matching problem Alexander Bockmayr OriginalPaper Pages: 379 - 381
The problem of definition expansion and contraction Larry Wos Basic Research Problems Pages: 433 - 435
Case studies of Z-module reasoning: Proving benchmark theorems from ring theory Tie-Cheng Wang Problem Corner Pages: 437 - 451