Christoph Beierle, Florian Brons, Nico Potyka. A Software System Using a SAT Solver for Reasoning Under Complete, Stable, Preferred, and Grounded Argumentation Semantics. In Steffen Hölldobler, Markus Krötzsch, Rafael Peñaloza, Sebastian Rudolph, editors, KI 2015: Advances in Artificial Intelligence - 38th Annual German Conference on AI, Dresden, Germany, September 21-25, 2015, Proceedings. Volume 9324 of Lecture Notes in Computer Science, pages 241-248, Springer, 2015. [doi]