@inproceedings{SudaEtAl2009,
  author    = {Martin Suda and Geoff Sutcliffe and Patrick Wischnewski and Manuel Lamotte-Schubert and Gerard {de Melo}},
  title     = {External Sources of Axioms in Automated Theorem Proving},
  booktitle = {KI 2009: Advances in Artificial Intelligence. 32nd Annual German Conference on AI, Paderborn, Germany, September 15-18, 2009},
  series    = {Lecture Notes in Artificial Intelligence (LNAI)},
  volume    = {5803},
  editor    = {B{\"a}rbel Mertsching and Marcus Hund and Muhammad Zaheer Aziz},
  publisher = {Springer},
  address   = {Berlin/Heidelberg, Germany}
  year      = {2009},
  pages     = {281--288},
  doi       = {10.1007/978-3-642-04617-9_36},
  eventdate = {2009-09-15/18},
  location  = {Paderborn, Germany},
}