Bounded Model Construction for Monadic Second-Order Logics.

Abdelwaheb Ayari, David A. Basin

Browse the full CAV paper archive.