https://123dok.net/document/qo5lwwr0-combined-tractability-query-evaluation-tree-automata-cycluits.html