Stefan Ellmauthaler Hannes Strass The DIAMOND System for Computing with Abstract Dialectical Frameworks. 233-240 2014 COMMA https://doi.org/10.3233/978-1-61499-436-7-233 conf/comma/2014 db/conf/comma/comma2014.html#EllmauthalerS14