@inproceedings{baader:etal:TABLEAUX:2009,
  editor =       {M. Giese and A. Waaler},
  author =	 {Franz Baader and Andreas Bauer and Peter Baumgartner
                  and Anne Cregan and Alfredo Gabaldon and Krystian Ji
		  and Kevin Lee and David Rajaratnam and Rolf Schwitter},
  title =	 {A Novel Architecture for Situation Awareness Systems},
  booktitle =	 {Proceedings of the 18th International Conference on
                  Automated Reasoning with Analytic Tableaux and Related
                  Methods (TABLEAUX)},
  series =       {Lecture Notes in Computer Science},
  volume =       5607,
  pages =        {77--92},
  year =	 2009,
  month =	 Jul,
  publisher =	 {Springer-Verlag},
  address =      {Berlin, Heidelberg},
  isbn =         {}
}