A Trace Semantics for Positive Core XPath

Pieter H. Hartel. A Trace Semantics for Positive Core XPath. In 12th International Symposium on Temporal Representation and Reasoning (TIME 2005), 23-25 June 2005, Burlington, Vermont, USA. pages 103-112, IEEE Computer Society, 2005. [doi]

@inproceedings{Hartel05,
  title = {A Trace Semantics for Positive Core XPath},
  author = {Pieter H. Hartel},
  year = {2005},
  doi = {10.1109/TIME.2005.9},
  url = {http://dx.doi.org/10.1109/TIME.2005.9},
  tags = {semantics, XPath},
  researchr = {https://researchr.org/publication/Hartel05},
  cites = {0},
  citedby = {0},
  pages = {103-112},
  booktitle = {12th International Symposium on Temporal Representation and Reasoning (TIME 2005), 23-25 June 2005, Burlington, Vermont, USA},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2370-6},
}