Monika Rauch Henzinger Proc. 22nd Int. Coll. Automata, Languages, and Programming (ICALP 1995), Lecture Notes in Computer Science 944, Zoltán Fülöp and Ferenc Gécseg, ed., Springer-Verlag, 1995, pp. 280–291
Cites: