https://9dok.net/document/yev02nee-computational-aspects-of-cf-and-stage-argumentation-semantics.html