BibTeX record conf/rta/NieuwenhuisORR07

download as .bib file

@inproceedings{DBLP:conf/rta/NieuwenhuisORR07,
  author    = {Robert Nieuwenhuis and
               Albert Oliveras and
               Enric Rodr{\'{\i}}guez{-}Carbonell and
               Albert Rubio},
  title     = {Challenges in Satisfiability Modulo Theories},
  booktitle = {Term Rewriting and Applications, 18th International Conference, {RTA}
               2007, Paris, France, June 26-28, 2007, Proceedings},
  pages     = {2--18},
  year      = {2007},
  crossref  = {DBLP:conf/rta/2007},
  url       = {https://doi.org/10.1007/978-3-540-73449-9\_2},
  doi       = {10.1007/978-3-540-73449-9\_2},
  timestamp = {Mon, 05 Jun 2017 12:41:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rta/NieuwenhuisORR07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rta/2007,
  editor    = {Franz Baader},
  title     = {Term Rewriting and Applications, 18th International Conference, {RTA}
               2007, Paris, France, June 26-28, 2007, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4533},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-73449-9},
  doi       = {10.1007/978-3-540-73449-9},
  isbn      = {978-3-540-73447-5},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rta/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier