Containment of Monadic Datalog Programs via Bounded Clique-Width.

Mikolaj Bojanczyk, Filip Murlak, Adam Witkowski

Browse the full ICALP paper archive.