Towards a characterization of order-invariant queries over tame graphs

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},
}