"Ontic: A Knowledge Representation System for Mathematics."

David A. McAllester (1988)
a service of Schloss Dagstuhl - Leibniz Center for Informatics