@inproceedings{benedikt2012monadic,
  title={\href{https://pierre.senellart.com/publications/benedikt2012monadic.pdf}{Monadic Datalog Containment}},
  author={Michael Benedikt and Pierre Bourhis and Pierre Senellart},
  booktitle={Proc.\ {ICALP}},
  address={Warwick, United Kingdom},
  pages={79--91},
  month=jul,
  year={2012},
}