@inproceedings{Jarvisalo:SAFA2018,
title = {{SAT} for Argumentation},
author = {Matti J\"arvisalo},
editor = {Matthias Thimm and Federico Cerutti and Mauro Vallati},
booktitle = {Proceedings of the 2nd International Workshop on
             Systems and Algorithms for Formal Argumentation (SAFA 2018)},
volume = {2171},
series = {CEUR Workshop Proceedings},
pages = {1--3},
publisher = {CEUR-WS.org},
year = {2018},
}