@article{Seger:2005:IEE,
  author = "Carl-Johan H. Seger and Robert B. Jones and John W. O'Leary and Tom Melham and Mark D. Aagaard and Clark Barrett and Don Syme",
  doi = "10.1109/TCAD.2005.850814",
  issn = "0278-0070",
  journal = "IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems",
  month = "September",
  number = "9",
  pages = "1381--1405",
  title = "An Industrially Effective Environment for Formal Hardware Verification",
  url = "http://www.comlab.ox.ac.uk/tom.melham/pub/Seger-2005-IEE.pdf",
  volume = "24",
  year = "2005",
}