On Verifying Consistency of XML Specifications. (2002)

by M Arenas, W Fan, L Libkin
Venue:In PODS,