Atomic Metadeduction

@inproceedings{pub4315,
    author = {

Autexier, Serge
 and 

Dietrich, Dominik
},
    editor = {

Mertsching, Bärbel
},
    title = {Atomic Metadeduction},
    booktitle = {Proceedings 32nd Annual German Conference on Artificial Intelligence. German Conference on Artificial Intelligence (KI-09), 32nd, September 15-18, Paderborn, Germany},
    series = {Lectures Notes in Computer Science (LNCS)},
    year = {2009},
    month = {9},
    publisher = {Springer}
}