@INPROCEEDINGS{Stephan_JFPC_06, 
    author = "I. St{\'e}phan",
    title = "Propagation logique pour les formules bool{\'e}ennes quantifi{\'e}es", 
    booktitle = "Actes des Deuxi{\`e}mes Journ{\'e}es Francophones de Programmation par Contraintes (JFPC'06)",
    pages = "327-336",
    year = "2006"
}