@article{benedikt2019monadic,
  title={\href{https://pierre.senellart.com/publications/benedikt2019monadic.pdf}{Monadic Datalog, Tree Validity, and Limited Access Containment}},
  author={Michael Benedikt and Pierre Bourhis and Georg Gottlob and Pierre Senellart},
  journal={ACM Transactions on Computational Logic},
  volume={21},
  number={1},
  pages={6:1--6:45},
  year={2020},
}