"Introducing EqArgSolver: An argumentation solver using equational semantics."

Odinaldo Rodrigues (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics