https://9dok.net/document/zgwkv65n-on-the-complexity-of-temporal-query-answering.html