Michael Benedikt, Luc Segoufin. Towards a characterization of order-invariant queries over tame graphs. Journal of Symbolic Logic, 74(1):168-186, 2009. [doi]
@article{BenediktS09-0, title = {Towards a characterization of order-invariant queries over tame graphs}, author = {Michael Benedikt and Luc Segoufin}, year = {2009}, url = {http://projecteuclid.org/euclid.jsl/1231082307}, tags = {graph query, graph-rewriting, rewriting}, researchr = {https://researchr.org/publication/BenediktS09-0}, cites = {0}, citedby = {0}, journal = {Journal of Symbolic Logic}, volume = {74}, number = {1}, pages = {168-186}, }