Gruber, Thomas R. and
Olsen, Gregory R. 1994.
“An Ontology for Engineering Mathematics.” in
KR’94: Principles of Knowledge Representation and Reasoning, edited by Jon
Doyle, Erik
Sandewall, and Pietro
Torasso, pp. 258–269. San Francisco, California: Morgan Kaufmann Publishers.