1. Beeri C, Vardi MY. A proof procedure for data dependencies. J ACM. 1984;31(4):718–41.
2. Bernstein PA, Halevy AY, Pottinger R. A vision of management of complex models. ACM SIGMOD Rec. 2000;29(4):55–63.
3. Bernstein PA, Green TJ, Melnik S, Nash A. Implementing mapping composition. In: Proceedings of the 32nd International Conference on Very Large Data Bases; 2006. p. 55–66.
4. Dessloch S, Hernández M, Wisnesky R, Radwan A, Zhou J. Orchid: integrating schema mapping and ETL. In: Proceedings of the 24th international conference on data engineering; 2008. p. 1307–16.
5. Fagin R. Generalized first-order spectra and polynomial-time recognizable sets. In: Karp RM, editor. Complexity of computation, SIAM-AMS Proceedings, vol. 7. 1974. p. 43–73.