Generic Axiomatization of Families of Noncrossing Graphs in Dependency Parsing
The monadic second-order logic of graphs I. Recognizable sets of Finite Graphs