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