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

by Jesper G Henriksen, Ole J L Jensen, Michael E Jrgensen, Nils Klarlund, Robert Paige, Theis Rauhe, Anders B Sandholm
Venue:In Tools and Algorithms for the Construction and Analysis of Systems, First International Workshop, LNCS 1019