@inproceedings{DaMota_Stephan_Nicolas_RFIA_08,
  author = "B. {Da Mota} and I. St{\'e}phan and P. Nicolas",
  title = "Des formules bool{\'e}ennes (quantifi{\'e}es) {\`a} la programmation par ensembles r{\'e}ponses",
    booktitle = "Reconnaissance des Formes et Intelligence Artificielle",
    year = "2008"
}