@incollection{Bennett94spatial,
	title = {{S}patial {R}easoning with {P}ropositional {L}ogics},
	address = {San Francisco, California},
	author = {Brandon Bennett},
	booktitle = {{KR}'94: Principles of Knowledge Representation and Reasoning},
	editor = {Jon Doyle and Erik Sandewall and Pietro Torasso},
	pages = {51--62},
	publisher = {Morgan Kaufmann},
	url = {citeseer.ist.psu.edu/bennett94spatial.html},
	year = {1994},
	biburl = {http://www.bibsonomy.org/bibtex/2e8f79fee62e673917f8e8eaff9331bbe/zeno},
	keywords = {1994 intuitionistic logic propositional-logic qualitative-reasoning rcc spatial }
}

@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},
	biburl = {http://www.bibsonomy.org/bibtex/2726db0fae8c791728b311d4aa96e42ce/blaueasterpro},
	isbn = {1-55860-328-X}, source = {ftp://ftp.ksl.stanford.edu/pub/KSL_Reports/KSL-94-18.ps.gz},
	keywords = {1994 engineering ontology unread }
}