Carles Farré, Ernest Teniente, Toni Urpí. A New Approach for Checking Schema Validation Properties. In Fernando Galindo, Makoto Takizawa, Roland Traunmüller, editors, Database and Expert Systems Applications, 15th International Conference, DEXA 2004 Zaragoza, Spain, August 30-September 3, 2004, Proceedings. Volume 3180 of Lecture Notes in Computer Science, pages 77-86, Springer, 2004. [doi]
Abstract is missing.