Heureka: A General Heuristic Backtracking Solver for Abstract Argumentation. - Nils Geilen; Matthias Thimm (TAFA, 2017)