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