Mona: Monadic second-order logic in practice (1996)

by J G Henriksen, J Jensen, M Jorgensen, N Klarlund, B Paige, T Rauhe, A Sandholm
Venue:In Tools and Algorithms for the Construction and Analysis of Systems, First International Workshop, TACAS '95, LNCS 1019