David A. McAllester: Ontic: A Knowledge Representation System for Mathematics. CADE 1988: 742-743