@inproceedings{Geilen:2017,
	Author = {Nils Geilen and Matthias Thimm},
	Booktitle = {Proceedings of the 2017 International Workshop on Theory and Applications of Formal Argument (TAFA'17)},
	Month = {August},
	Title = {Heureka - A General Heuristic Backtracking Solver for Abstract Argumentation},
	Year = {2017}}