@InProceedings{W44,
  key =		 {W44},
  author =	 {Christoph Benzm{\"u}ller and Adam Pease},
  editor = {A.~Bundy and J.~Lehmann and G.~Qi and I.~J.~Varzinczak}, 
  title =	 {Reasoning with Embedded Formulas and Modalities in {SUMO}},
 booktitle =	 {The ECAI-10 Workshop on Automated Reasoning about
Context and Ontology Evolution (ARCOE-10)},
  address =	 {August 16-17, Lisbon, Portugal},
  year =	 2010
}