BibTeX record conf/sycss/NavarroO14

download as .bib file

@inproceedings{DBLP:conf/sycss/NavarroO14,
  author       = {Marisa Navarro and
                  Fernando Orejas},
  editor       = {Temur Kutsia and
                  Andrei Voronkov},
  title        = {A refutation procedure for proving satisfiability of constraint specifications
                  on {XML} documents},
  booktitle    = {6th International Symposium on Symbolic Computation in Software Science,
                  {SCSS} 2014, Gammarth, La Marsa, Tunisia, December 7-8, 2014},
  series       = {EPiC Series in Computing},
  volume       = {30},
  pages        = {47--61},
  publisher    = {EasyChair},
  year         = {2014},
  url          = {https://doi.org/10.29007/jfwc},
  doi          = {10.29007/JFWC},
  timestamp    = {Sun, 15 Aug 2021 00:16:55 +0200},
  biburl       = {https://dblp.org/rec/conf/sycss/NavarroO14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics