1. Complexity of answering queries using materialized views;Abiteboul,1998
2. S. Abiteboul, O.M. Duschka, Complexity of answering queries using materialized views, 2000 (unpublished full version of [1]).
3. Correspondence and translation for heterogeneous data;Abiteboul,1997
4. Locally consistent transformations and query answering in data exchange;Arenas,2004
5. A proof procedure for data dependencies;Beeri;J. Assoc. Comput. Mach.,1984