Dario Colazzo Giorgio Ghelli Paolo Manghi Carlo Sartiani Types for Correctness of Queries over Semistructured Data. 19-24 2002 WebDB http://www.db.ucsd.edu/webdb2002/papers/32.pdf db/conf/webdb/webdb2002.html#ColazzoGMS02