"Micro-Macro Stack Systems: A New Frontier of Elementary Decidability for ..."

Nir Piterman, Moshe Y. Vardi (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics