Experiments with semantic paramodulation William McCuneLawrence Henschen OriginalPaper Pages: 231 - 261
Incidence calculus: A mechanism for probabilistic reasoning Alan Bundy OriginalPaper Pages: 263 - 283
Writing programs that construct proofs R. L. ConstableT. B. KnoblockJ. L. Bates OriginalPaper Pages: 285 - 326