Efficient evaluation methods for guarded logics and Datalog LITE (abstract). (English) Zbl 0988.68690
Parigot, Michel (ed.) et al., Logic for programming and automated reasoning. 7th international conference, LPAR 2000, Reunion Island, France, November 6-10, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1955, 417 (2000).