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]

Authors

Michael Benedikt

This author has not been identified. Look up 'Michael Benedikt' in Google

Pierre Bourhis

This author has not been identified. Look up 'Pierre Bourhis' in Google

Georg Gottlob

This author has not been identified. Look up 'Georg Gottlob' in Google

Pierre Senellart

This author has not been identified. Look up 'Pierre Senellart' in Google