Ontic: A knowledge representation system for mathematics (1988)

by David McAllester
Venue:9th International Conference on Automated Deduction, LNCS 310