Henriksen, Jesper G., Ole J.L. Jensen, Michael E. Jørgensen, Nils Klarlund, Robert Paige, Theis Rauhe, and Anders B. Sandholm. “MONA: Monadic Second-Order Logic in Practice”. BRICS Report Series 2, no. 21 (January 21, 1995). Accessed April 19, 2024. https://tidsskrift.dk/brics/article/view/19923.