https://9dok.net/document/zgwkv66v-computational-complexity-naive-based-semantics-abstract-dialectical-frameworks.html