Monadic Datalog Containment.

Michael Benedikt, Pierre Bourhis, Pierre Senellart

Browse the full ICALP paper archive.