@inproceedings{Thimm:2019,
	Author = {Matthias Thimm},
	Booktitle = {The Third International Competition on Computational Models of Argumentation (ICCMA'19)},
	Month = {May},
	Title = {Dredd - A Heuristics-guided Backtracking Solver with Information Propagation for Abstract Argumentation},
	Year = {2019}}