Mona: Monadic Second-Order Logic in Practice.

Jesper G. Henriksen Jakob L. Jensen Michael E. Jørgensen Nils Klarlund Robert Paige Theis Rauhe Anders Sandholm Mona: Monadic Second-Order Logic in Practice. 89-110 1995 conf/tacas/1995 TACAS db/conf/tacas/tacas95.html#HenriksenJJKPRS95