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 Report Series, [S. l.], v. 2, n. 21, 1995. DOI: 10.7146/brics.v2i21.19923. Disponível em: https://tidsskrift.dk/brics/article/view/19923. Acesso em: 18 apr. 2024.