@inproceedings{DaMota_Stephan_Nicolas_IAF_08,
  author = "B. {Da Mota} and I. St{\'e}phan and P. Nicolas",
  title = "Une mise sous forme pr{\'e}nexe  pr{\'e}servant les r{\'e}sultats interm{\'e}diaires pour les formules bool{\'e}ennes quantifi{\'e}es",
    booktitle = "Journ{\'e}es Nationales de l'IA Fondamentale (IAF'08) ",
    year = "2008"
}