The following publications are possibly variants of this publication:
- A Polynomial-Time Algorithm for Checking the Equivalence for Real-Time Deterministic Restricted One-Counter Transducers Which Accept by Final StateMitsuo Wakatsuki, Etsuji Tomita, Tetsuro Nishino. snpd 2013: 459-465 [doi]
- A Polynomial-Time Algorithm for Checking the Equivalence of Deterministic Restricted One-Counter Transducers Which Accept by Final StateMitsuo Wakatsuki, Etsuji Tomita, Tetsuro Nishino. In Roger Lee, editor, Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing. Volume 569 of Studies in Computational Intelligence, pages 131-144, Springer, 2015. [doi]
- A Polynomial-Time Algorithm for Checking the Inclusion for Strict Deterministic Restricted One-Counter AutomataKen Higuchi, Etsuji Tomita, Mitsuo Wakatsuki. ieicet, 78-D(4):305-313, 1995. [doi]