@article{DBLP:journals/jsat/BenedettiM08,
  author    = {Marco Benedetti and
               Hratch Mangassarian},
  title     = {QBF-Based Formal Verification: Experience and Perspectives},
  journal   = {{JSAT}},
  volume    = {5},
  number    = {1-4},
  pages     = {133--191},
  year      = {2008},
  url       = {http://jsat.ewi.tudelft.nl/content/volume5/JSAT5_6_Benedetti.pdf},
  timestamp = {Sat, 08 Jan 2011 17:31:42 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/jsat/BenedettiM08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}