https://123dok.net/document/zkw1r2oe-resolution-decision-procedure-guarded-fragment-transitive-guards.html