Jensen, Ole J.L.

• BRICS Report Series No. 21 (1995): RS-21 MONA: Monadic Second-Order Logic in Practice - Articles
  MONA: Monadic Second-Order Logic in Practice
  Abstract  PDF