Mona: Monadic Second-Order Logic in Practice.

Jesper G. Henriksen, Jakob L. Jensen, Michael E. Jrgensen, Nils Klarlund, Robert Paige, Theis Rauhe, Anders Sandholm

Browse the full TACAS paper archive.