Atomic Metadeduction
@inproceedings{AD-09-a,
  author        = {Serge Autexier and Dominik Dietrich},
  editor        = {Bärbel Mertsching},
  booktitle     = {Proceedings 32nd Annual German Conference on Artificial Intelligence
},
  title         = {Atomic Metadeduction},
  series        = {LNCS},
  publisher     = {Springer},
  address       = {Paderborn, Germany},
  pages         = {8},
  month         = {september},
  year          = {2009},
}