@inproceedings{PfandlerRummeleSzeider13,
 author = {Andreas Pfandler and Stefan Rümmele and Stefan
Szeider},
 booktitle = {Proceedings of IJCAI 2013, the 23th International
Joint Conference on Artificial Intelligence, August
3-9, 2013, Beijing, China},
 title = {Backdoors to Abduction},
 year = {2013}
}