Using hints to increase the effectiveness of an automated reasoning program: Case studies Robert Veroff Studies in Automated Reasoning Pages: 223 - 239
Linear and unit-resulting refutations for Horn theories Peter Baumgartner Research Article Pages: 241 - 319
TPS: A theorem-proving system for classical type theory Peter B. AndrewsMatthew BishopHongwei Xi Research Article Pages: 321 - 353
On the completeness of incidence calculus Lusheng WangS. K. M. WongY. Y. Yao Research Article Pages: 355 - 368
A type-theoretic interpretation of constructive domain theory Michael Hedberg Research Article Pages: 369 - 425