https://123dok.net/document/zwv1mpkl-emptiness-alternating-tree-automata-using-games-imperfect-information.html