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