https://123dok.net/document/yev14w3e-tractable-counting-of-the-answers-to-conjunctive-queries.html