Michael Benedikt, Pierre Bourhis, Georg Gottlob, Pierre Senellart. Monadic Datalog, Tree Validity, and Limited Access Containment. ACM Trans. Comput. Log., 21(1), 2020. [doi]
No references recorded for this publication.
No citations of this publication recorded.