Bounded model construction for monadic second-order logics (2000)

by Abdelwaheb Ayari, David Basin
Venue:Proceedings of the 12th International Conference on Computer-Aided Verification (CAV), number 1855 in Lecture Notes in Computer Science