@inproceedings{Gruber.1994,
	title = {An Ontology for Engineering Mathematics},
	author = {Thomas R. Gruber and G. Olsen},
	booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings of the 4th International Conference (KR '94): Bonn, Germany: 1994, May, 24 - 27},
	editor = {Jon Doyle and Pietro Torasso and Erik Sandewall},
	pages = {258-269},
	publisher = {Morgan Kaufmann Publishers},
	series = {The Morgan Kaufmann Series in Representation and Reasoning},
	year = {1994},
	biburl = {http://www.bibsonomy.org/bibtex/277f2059b7326ebe3410d92d96dac9f7c/callagialla},
	isbn = {155860328},
	keywords = {diss }
}