Marisa Navarro, Fernando Orejas. A refutation procedure for proving satisfiability of constraint specifications on XML documents. In Temur Kutsia, Andrei Voronkov, editors, 6th International Symposium on Symbolic Computation in Software Science, SCSS 2014, Gammarth, La Marsa, Tunisia, December 7-8, 2014. Volume 30 of EPiC Series, pages 47-61, EasyChair, 2014. [doi]
Abstract is missing.