@inproceedings{gruber94-ontology_engineering_mathematics,
title = {An Ontology for Engineering Mathematics.},
annote = {Technical Report KSL-94-18},
author = {Thomas R. Gruber and Gregory R. Olsen},
booktitle = { Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994.},
editor = {Jon Doyle and Erik Sandewall and Pietro Torasso},
pages = {258-269},
publisher = {Morgan Kaufmann},
url = {ftp://ftp.ksl.stanford.edu/pub/KSL_Reports/KSL-94-18.ps.gz},
year = {1994},
isbn = {1-55860-328-X}, source = {ftp://ftp.ksl.stanford.edu/pub/KSL_Reports/KSL-94-18.ps.gz},
keywords = {1994 engineering ontology unread }
}
::