@article{DaMota_Stephan_Nicolas_I3_09,
  author = "B. {Da Mota} and I. St{\'e}phan and P. Nicolas",
  title = "Une nouvelle strat{\'e}gie de mise sous forme pr{\'e}nexe pour des formules bool{\'e}ennes quantifi{\'e}es avec bi-implications",
    journal = "Revue internationale I3 (Information - Interaction - Intelligence)",
    volume = 9,
    numero = 2,
    pages = "9-29",
    year = "2009"
}