%0 Conference Paper %1 conf/sycss/NavarroO14 %A Navarro, Marisa %A Orejas, Fernando %B SCSS %D 2014 %E Kutsia, Temur %E Voronkov, Andrei %I EasyChair %K dblp %P 47-61 %T A refutation procedure for proving satisfiability of constraint specifications on XML documents. %U http://dblp.uni-trier.de/db/conf/sycss/scss2014.html#NavarroO14 %V 30

@inproceedings{conf/sycss/NavarroO14, added-at = {2021-08-15T00:00:00.000+0200}, author = {Navarro, Marisa and Orejas, Fernando}, biburl = {https://www.bibsonomy.org/bibtex/2aa79efb7c54b21eb6493a937a4bd55c1/dblp}, booktitle = {SCSS}, crossref = {conf/sycss/2014}, editor = {Kutsia, Temur and Voronkov, Andrei}, ee = {https://doi.org/10.29007/jfwc}, interhash = {a2d532984aa370f380bc9de0968dfd3d}, intrahash = {aa79efb7c54b21eb6493a937a4bd55c1}, keywords = {dblp}, pages = {47-61}, publisher = {EasyChair}, series = {EPiC Series in Computing}, timestamp = {2024-04-09T14:07:13.000+0200}, title = {A refutation procedure for proving satisfiability of constraint specifications on XML documents.}, url = {http://dblp.uni-trier.de/db/conf/sycss/scss2014.html#NavarroO14}, volume = 30, year = 2014 }