https://9dok.net/document/yr34504p-diamond-computing-abstract-dialectical-frameworks.html