https://123dok.net/document/zkw1one1-bounded-implication-for-existential-rules-extended-abstract.html