Bounded Model Construction for Monadic Second-Order Logics.

Abdelwaheb Ayari David A. Basin Bounded Model Construction for Monadic Second-Order Logics. 99-112 2000 conf/cav/2000 CAV db/conf/cav/cav2000.html#AyariB00