@inproceedings{DvorakSzeiderWoltran12,
 author = {Wolfgang Dvor{\'a}k and Stefan Szeider and Stefan
Woltran},
 booktitle = {Scalable Uncertainty Management - 6th International
Conference, SUM 2012, Marburg, Germany, September
17-19, 2012. Proceedings},
 doi = {10.1007/978-3-642-33362-0_7},
 editor = {Eyke H{ü}llermeier and Sebastian Link and Thomas
Fober and Bernhard Seeger},
 pages = {85-98},
 publisher = {Springer Verlag},
 series = {Lecture Notes in Computer Science},
 title = {Abstract Argumentation via Monadic Second Order
Logic},
 volume = {7520},
 year = {2012}
}