@article{journals/tocl/GottlobGV02,
  title = "{Datalog LITE: a deductive query language with linear time model checking}",
  author = "Georg Gottlob and Erich Gr{\"a}del and Helmut Veith",
  year = "2002",
  journal = "ACM Trans. Comput. Log.",
  number = "1",
  pages = "42-79",
  volume = "3",
  doi = "10.1145/504077.504079",
}