@article{journals/ai/Barrow84,
  added-at = {2011-06-30T00:00:00.000+0200},
  author = {Barrow, Harry G.},
  biburl = {http://www.bibsonomy.org/bibtex/2071f27d11cbf2d8e64fe37eb150cecc8/dblp},
  ee = {http://dx.doi.org/10.1016/0004-3702(84)90044-4},
  interhash = {c6545d4d05041e6d00df7269f9ea5d50},
  intrahash = {071f27d11cbf2d8e64fe37eb150cecc8},
  journal = {Artif. Intell.},
  keywords = {dblp},
  number = {1-3},
  pages = {437-491},
  timestamp = {2011-06-30T00:00:00.000+0200},
  title = {VERIFY: A Program for Proving Correctness of Digital Hardware Designs.},
  url = {http://dblp.uni-trier.de/db/journals/ai/ai24.html#Barrow84},
  volume = 24,
  year = 1984
}