Frank Morawietz, Tom Cornell. The MSO Logic-Automaton Connection in Linguistics. In Alain Lecomte, François Lamarche, Guy Perrier, editors, Logical Aspects of Computational Linguistics, Second International Conference, LACL 97, Nancy, France, September 22-24, 1997, Selected Papers. Volume 1582 of Lecture Notes in Computer Science, pages 112-131, Springer, 1997. [doi]
Abstract is missing.