Henriksen, J. G., Jensen, O. J., Jørgensen, M. E., Klarlund, N., Paige, R., Rauhe, T., & Sandholm, A. B. (1995). MONA: Monadic Second-Order Logic in Practice. BRICS Report Series, 2(21). https://doi.org/10.7146/brics.v2i21.19923