@INPROCEEDINGS{Stephan_JFPC_09, 
    author = "I. St{\'e}phan",
    title = "S{\'e}mantique et calcul syntaxique pour les formules bool{\'e}ennes quantifi{\'e}es", 
    booktitle = "Actes des Quatri{\`e}mes Journ{\'e}es Francophones de Programmation par Contraintes (JFPC'09)",
    pages =  "275-284",
    year = "2009"
}