Monadic datalog, tree validity, and limited access containment (ACM Transactions on Computational Logic, 2019)

(untitled) - Benedikt, M; Bourhis, P; Gottlob, G; Senellart, P