Henriksen, J. G.; Jensen, O. J.; Jørgensen, M. E.; Klarlund, N.; Paige, R.; Rauhe, T.; Sandholm, A. B. MONA: Monadic Second-Order Logic in Practice. BRICS 1995, 2.