Erich Grädel. Efficient Evaluation Methods for Guarded Logics and Datalog LITE. In Michel Parigot, Andrei Voronkov, editors, Logic for Programming and Automated Reasoning, 7th International Conference, LPAR 2000, Reunion Island, France, November 11-12, 2000, Proceedings. Volume 1955 of Lecture Notes in Computer Science, pages 417, Springer, 2000. [doi]
@inproceedings{Gradel00,
title = {Efficient Evaluation Methods for Guarded Logics and Datalog LITE},
author = {Erich Grädel},
year = {2000},
url = {http://link.springer.de/link/service/series/0558/bibs/1955/19550417.htm},
tags = {logic, Datalog},
researchr = {https://researchr.org/publication/Gradel00},
cites = {0},
citedby = {0},
pages = {417},
booktitle = {Logic for Programming and Automated Reasoning, 7th International Conference, LPAR 2000, Reunion Island, France, November 11-12, 2000, Proceedings},
editor = {Michel Parigot and Andrei Voronkov},
volume = {1955},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
}