Monadic Datalog, Tree Validity, and Limited Access Containment

Michael Benedikt, Pierre Bourhis, Georg Gottlob, Pierre Senellart. Monadic Datalog, Tree Validity, and Limited Access Containment. ACM Trans. Comput. Log., 21(1), 2020. [doi]

Abstract

Abstract is missing.