APA (7th ed.) Citation

Deng, Z., & Zakharov, V. A. (2025). On the Equivalence Checking Problem for Deterministic Top-Down Tree Automata.

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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

Warning: These citations may not always be 100% accurate.