Keyword:XML document

Papers
A refutation procedure for proving satisfiability of constraint specifications on XML documents Marisa Navarro and Fernando Orejas In:SCSS 2014. 6th International Symposium on Symbolic Computation in Software Science