@INPROCEEDINGS{LJCFV07,
  AUTHOR =   {Langmead, C.J. and Jha, S.K.},
  title =    "{Using Bit Vector Decision Procedures for Analysis of Protein Folding Pathways}",
  BOOKTITLE =    {Proc. of the 4th Workshop on Constraints in Formal Verification (CFV)},
  YEAR =         {2007},
}