Static analysis for path correctness of XML queries
scientific article; zbMATH DE number 5049781