Polynomial Time Identification of Strict Deterministic Restricted One-Counter Automata in Some Class from Positive Data. - Mitsuo Wakatsuki; Kiyoshi Teraguchi; Etsuji Tomita (ICGI, 2004)