Atomic Metadeduction
@inproceedings{AD-09-a, author = {Serge Autexier and Dominik Dietrich}, editor = {B\"arbel 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}, }