BibTeX record journals/tplp/Dovier03

download as .bib file

@article{DBLP:journals/tplp/Dovier03,
  author    = {Agostino Dovier},
  title     = {Book review: Set Theory for Computing: From Decision Procedures to
               Declarative Programming with Sets by Domenico Cantone, Eugenio Omodeo,
               and Alberto Policriti, Springer, 2001, {ISBN} 0-387-95197-0},
  journal   = {{TPLP}},
  volume    = {3},
  number    = {1},
  pages     = {125--128},
  year      = {2003},
  url       = {http://dx.doi.org/10.1017/S1471068402001503},
  doi       = {10.1017/S1471068402001503},
  timestamp = {Fri, 10 Jun 2011 14:42:34 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/tplp/Dovier03},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}