@INPROCEEDINGS{Stephan_DaMota_JFPC_08, 
    author = "I. St{\'e}phan and B. {Da Mota}",
    title = "Base litt{\'e}rale et certificat pour les formules bool{\'e}ennes quantifi{\'e}es", 
    booktitle = "Actes des Troisi{\`e}mes Journ{\'e}es Francophones de Programmation par Contraintes (JFPC'08)",
   pages = "307-316",
    year = "2008"
}