A refutation procedure for proving satisfiability of constraint specifications on XML documents | Publicación