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

by J G Henriksen, J L Jensen, M E Jørgensen, N Klarlund, R Paige, T Rauhe, A Sandholm
Venue:Steffen (Eds.), Tools and Algorithms for Construction and Analysis of Systems, in: LNCS