Henriksen, Jesper, Ole Jensen, Michael Jørgensen, Nils Klarlund, Robert Paige, Theis Rauhe, and Anders Sandholm. 1995. “MONA: Monadic Second-Order Logic in Practice”. BRICS Report Series 2 (21). https://doi.org/10.7146/brics.v2i21.19923.