"Bounded Model Construction for Monadic Second-Order Logics."

Abdelwaheb Ayari, David A. Basin (2000)
a service of Schloss Dagstuhl - Leibniz Center for Informatics