Keyword:Refutation procedure

Publications
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