A Software System Using a SAT Solver for Reasoning Under Complete, Stable, Preferred, and Grounded Argumentation Semantics. - Christoph Beierle; Florian Brons; Nico Potyka (KI, 2015)