https://9dok.net/document/zgwkv612-analyzing-computational-complexity-abstract-dialectical-frameworks-approximation-fixpoint.html