@inproceedings{DaMota_Stephan_Nicolas_CFV_09,
  author = "B. {Da Mota} and I. St{\'e}phan and P. Nicolas",
  title = "A New Prenexing Strategy for Quantified Boolean Formulae with Bi-Implications",
    booktitle = "Proceedings of the 6th International Workshop on Constraints in Formal Verification",
    year = "2009"
}