https://123dok.net/document/yng70j0l-answering-conjunctive-queries-expressive-dls-restricted-chase.html