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