Datalog LITE: a deductive query language with linear time model checking (bibtex)
by Georg Gottlob, Erich Grädel, Helmut Veith
Reference:
Datalog LITE: a deductive query language with linear time model checkingGeorg Gottlob, Erich Grädel, Helmut VeithACM Trans. Comput. Log., volume 3, number 1, pages 42-79, 2002.
Bibtex Entry:
@article{DBLP:journals/tocl/GottlobGV02,
  author = {Georg Gottlob and Erich Gr{\"a}del and Helmut Veith},
  title = {Datalog LITE: a deductive query language with linear time model checking},
  number = {1},
  year = {2002},
  journal = {ACM Trans. Comput. Log.},
  pages = {42--79},
  volume = {3},
  url = {http://doi.acm.org/10.1145/504077.504079}
}
Powered by bibtexbrowser