Bounded Model Construction for Monadic Second-Order Logics. In: (2000)

by A Ayari, D A Basin
Venue:Prooceedings of Computer Aided Verification, 12th International Conference, CAV 2000,