TY  - RPRT
TI  - On the Equivalence Checking Problem for Deterministic Top-Down Tree Automata
AU  - Zhibo Deng
AU  - Vladimir A. Zakharov
PY  - 2025
UR  - https://arxiv.org/abs/2504.04206
ID  - 2504.04206
ER  -