The monadic second-order logic of graphs v: on closing the gap between definability and recognizability.Theoretical Computer Science, 80(2):153 – 202
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it