Containment in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics.

Pierre Bourhis, Carsten Lutz

Browse the full KR paper archive.