Ken Higuchi, Mitsuo Wakatsuki, Etsuji Tomita. A Polynomial-Time Algorithm for Checking the Inclusion for Real-Time Deterministic Restricted One-Counter Automata Which Accept by Final State. IEICE Transactions, 78-D(8):939-950, 1995. [doi]
@article{HiguchiWT95,
title = {A Polynomial-Time Algorithm for Checking the Inclusion for Real-Time Deterministic Restricted One-Counter Automata Which Accept by Final State},
author = {Ken Higuchi and Mitsuo Wakatsuki and Etsuji Tomita},
year = {1995},
url = {http://search.ieice.org/bin/summary.php?id=e78-d_8_939},
researchr = {https://researchr.org/publication/HiguchiWT95},
cites = {0},
citedby = {0},
journal = {IEICE Transactions},
volume = {78-D},
number = {8},
pages = {939-950},
}