Reasoning about XML update constraints
scientific article; zbMATH DE number 5586766
scientific article