Ontic: A Knowledge Representation System for Mathematics (1987)

by David A McAllester