An Algebraic Approach to the Equivalence Checking of Deterministic Top-down Tree Transducers. - Zhibo Deng; Tianxiang Tang; Vladimir A. Zakharov (CIAA, 2025)

On the Equivalence Checking Problem for Deterministic Top-Down Tree Automata. - Zhibo Deng; Vladimir A. Zakharov (CoRR, 2025)