Linear time datalog and branching time logic (bibtex)
by Georg Gottlob, Erich Grädel, Helmut Veith
Reference:
Linear time datalog and branching time logicGeorg Gottlob, Erich Grädel, Helmut Veith, pages 443-467, 2000, Kluwer Academic Publishers.
Bibtex Entry:
@article{566376,
  author = {Georg Gottlob and Erich Gr\"{a}del and Helmut Veith},
  title = {Linear time datalog and branching time logic},
  year = {2000},
  address = {Norwell, MA, USA},
  booktitle = {Logic-based artificial intelligence},
  pages = {443--467},
  publisher = {Kluwer Academic Publishers},
  isbn = {0-7923-7224-7}
}
Powered by bibtexbrowser