1. N. Alon, T. Milo, F. Neven, D. Suciu, V. Vianu, Typechecking XML views of relational databases, in: Proceedings of the 16th IEEE Symposium on Logic in Computer Science, Boston, MA, 2001, pp. 421–430.
2. A. Bruggemann-Klein, M. Murata, D. Wood, Regular tree and regular hedge languages over non-ranked alphabets, Hong Kong University of Science and Technology Computer Science Center Research Report HKUST-TCSC-2001-05, 2001, available at http://www.cs.ust.hk/tcsc/RR/2001-05.ps.gz.
3. Weak second-order arithmetic and finite automata;Büchi;Z. Math. Logik Grundl. Math.,1960
4. D. Chamberlin, J. Clark, D. Florescu, J. Robie, J. Simeon, M. Stefanescu, XQuery 1.0: an XML query language, 2001, available from the W3C, http://www.w3.org/TR/query.
5. The implication problem for functional and inclusion dependencies is undecidable;Chandra;SIAM J. Comput.,1985