Tanara Lauschner, Marco A. Casanova, Vânia Maria Ponte Vidal, José Antônio Fernandes de Macêdo. Efficient Decision Procedures for Query Containment and Related Problems. In Angelo Brayner, editor, XXIV Simpósio Brasileiro de Banco de Dados, 05-09 de Outubro, Fortaleza, Ceará, Brasil, Anais. pages 1-15, SBC, 2009. [doi]
Abstract is missing.