Andrea Calì, Riccardo Torlone. Checking Containment of Schema Mappings (Preliminary Report). In Marcelo Arenas, Leopoldo E. Bertossi, editors, Proceedings of the 3rd Alberto Mendelzon International Workshop on Foundations of Data Management, Arequipa, Peru, May 12-15, 2009. Volume 450 of CEUR Workshop Proceedings, CEUR-WS.org, 2009. [doi]