Efficient Evaluation Methods for Guarded Logics and Datalog LITE.

Erich Grdel

Browse the full LPAR paper archive.