Michel Leclère, Marie-Laure Mugnier. Some Algorithmic Improvements for the Containment Problem of Conjunctive Queries with Negation. In Thomas Schwentick, Dan Suciu, editors, Database Theory - ICDT 2007, 11th International Conference, Barcelona, Spain, January 10-12, 2007, Proceedings. Volume 4353 of Lecture Notes in Computer Science, pages 404-418, Springer, 2007. [doi]
Abstract is missing.