@article{6069,
  title = "Monadic Datalog Containment",
  author = "Michael Benedikt and Pierre Bourhis and Pierre Senellart",
  year = "2012",
  journal = "ICALP",
}