@inproceedings{ vaqtree07,
  url = {davies_fmcad07.pdf},
  booktitle = {FMCAD},
  year = {2007},
  author = {J. Simmonds and J. Davies and A. Gurfinkel and M. Chechik},
  title = {Exploiting Resolution Proofs to Speed Up LTL Vacuity Detection for BMC}
}