https://123dok.org/document/6qm5vo4z-algorithms-abstract-dialectical-frameworks-complexity-analysis-subclasses-solving.html