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]
Abstract is missing.