@inproceedings{Jarvisalo:ArgLPNMR2016,
title = {{SAT}-Based Approaches to Reasoning about Argumentation Frameworks},
author = {Matti J\"arvisalo},
editor = {Sarah Alice Gaggl and Juan Carlos Nieves and Hannes Strass},
booktitle = {Proceedings of the First International Workshop on Argumentation
             in Logic Programming and Non-Monotonic Reasoning (Arg-LPNMR 2016)},
pages = {1-2},
year = {2016},
}