1. Y. Arens, C.Y. Chee, C.N. Hsu and C. Knoblock. Retrieving and Integrating Data from Multiple Information Sources, Intl. J. of Intelligent Cooperative Info. Systems, 2, 2, pp. 127–158, 1994.
2. G. Birkhoff. Lattice Theory, American Math. Society, Providence, 1967.
3. K.S. Candan, S. Jajodia and V.S. Subrahmanian. Secure Mediated Databases, to appear in:Proc. 1996 IEEE Conf. on Data Engineering.
4. S. Chawathe, H. Garcia-Molina, J. Hammer, K. Ireland, Y. Papakonstantinou, J. Ullman and J. Widom. (1994) The TSIMMIS Project: Integration of Heterogeneous Information Sources, Proc. IPSJ Conf., Tokyo, Japan, Oct. 1994.
5. W.F. Dowling, J.H. Gallier. Linear-time algorithms for testing satisfiability of propositional Horn formulae. Journal of Logic Programming, 3:267–284, (1984).