An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic

Open in new window