Non-backtracking Top-Down Algorithm for Checking Tree Automata Containment. - Tadahiro Suda; Haruo Hosoya (CIAA, 2005)