https://hal-imt.archives-ouvertes.fr/hal-00737942
Contributor : Admin Télécom Paristech <>
Submitted on : Wednesday, October 3, 2012 - 8:03:39 AM Last modification on : Wednesday, September 30, 2020 - 8:54:13 AM
Michael Benedikt, Pierre Bourhis, Pierre Senellart. Monadic Datalog Containment. ICALP (International Colloquium on Automata, Languages, and Programming), Jul 2012, Warwick, Royaume-Uni. pp.79-91. ⟨hal-00737942⟩