Formula databases for high-performance resolution/paramodulation systems Ralph M. ButlerRoss A. Overbeek OriginalPaper Pages: 139 - 156
A model-based belief revision system Timothy S. C. ChouMarianne Winslett OriginalPaper Pages: 157 - 208
On subsumption in distributed derivations Maria Paola BonacinaJieh Hsiang OriginalPaper Pages: 225 - 240
The rue theorem-proving system: The complete set of LIM+ challenge problems Vincent J. Digricoli OriginalPaper Pages: 241 - 264