Stepán Plachý, Jan Janousek: On Synchronizing Tree Automata and Their Work-Optimal Parallel Run, Usable for Parallel Tree Pattern Matching. SOFSEM 2020: 576-586