Micro-macro stack systems: A new frontier of decidability for sequential systems (2003)

by N Piterman, M Vardi
Venue:In 18th IEEE Symposium on Logic in Computer Science