Simplification Problems for Deterministic Pushdown Automata on Infinite Words

Singapore [u.a.] / World Scient. (2015) [Journal Article]

International journal of foundations of computer science : IJFCS
Volume: 26
Issue: 8
Page(s): 1041-1068