Christof Löding, Wolfgang Thomas: On the Boolean Closure of Deterministic Top-Down Tree Automata. Int. J. Found. Comput. Sci. 35(1&2): 11-22 (2024)