Graph traversal and top-down evaluation of logic queries

Yangjun Chen. Graph traversal and top-down evaluation of logic queries. J. Comput. Sci. Technol., 13(4):300-316, 1998. [doi]

@article{Chen98-3,
  title = {Graph traversal and top-down evaluation of logic queries},
  author = {Yangjun Chen},
  year = {1998},
  doi = {10.1007/BF02946620},
  url = {http://dx.doi.org/10.1007/BF02946620},
  tags = {graph query, traversal, graph-rewriting, logic, rewriting logic, rewriting},
  researchr = {https://researchr.org/publication/Chen98-3},
  cites = {0},
  citedby = {0},
  journal = {J. Comput. Sci. Technol.},
  volume = {13},
  number = {4},
  pages = {300-316},
}