A Temporal Logic Based Approach for Querying Lists, Trees, and DAGs in Databases

Peter Becker. A Temporal Logic Based Approach for Querying Lists, Trees, and DAGs in Databases. In Norman Revell, A. Min Tjoa, editors, Database and Expert Systems Applications, 6th International Conference, DEXA 95, London, United Kingdom, September 4-8, 1995, Proceedings. Volume 978 of Lecture Notes in Computer Science, pages 293-302, Springer, 1995.

@inproceedings{Becker95:0,
  title = {A Temporal Logic Based Approach for Querying Lists, Trees, and DAGs in Databases},
  author = {Peter Becker},
  year = {1995},
  tags = {rule-based, logic, systematic-approach},
  researchr = {https://researchr.org/publication/Becker95%3A0},
  cites = {0},
  citedby = {0},
  pages = {293-302},
  booktitle = {Database and Expert Systems Applications, 6th International Conference, DEXA 95, London, United Kingdom, September 4-8, 1995, Proceedings},
  editor = {Norman Revell and A. Min Tjoa},
  volume = {978},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-60303-4},
}