Incollection (Bennett94spatial)
Bennett, B.
Doyle, J.; Sandewall, E. & Torasso, P. (ed.)
Spatial Reasoning with Propositional Logics
Morgan Kaufmann, 1994, 51-62

Inproceedings (gruber94-ontology_engineering_mathematics)
Gruber, T. R. & Olsen, G. R.
Doyle, J.; Sandewall, E. & Torasso, P. (ed.)
An Ontology for Engineering Mathematics.
Morgan Kaufmann, 1994, 258-269