Journal of Automated Reasoning

Using Hints to Increase the Effectiveness of an Automated Reasoning Program: Case Studies
pp. 223-239(17)
Author: Veroff R.

Linear and Unit-Resulting Refutations for Horn Theories
pp. 241-319(79)
Author: Baumgartner P.

TPS: A Theorem-Proving System for Classical Type Theory
pp. 321-353(33)
Authors: Andrews P.B.; Bishop M.; Issar S.; Nesmith D.; Pfenning F.; Xi H.

On the Completeness of Incidence Calculus
pp. 355-368(14)
Authors: Wang L.; Wong S.K.M.; Yao Y.Y.

A Type-Theoretic Interpretation of Constructive Domain Theory
pp. 369-425(57)
Author: Hedberg M.