@INPROCEEDINGS{Stephan_JFPC_07, 
    author = "I. St{\'e}phan",
    title = "Une (presque) g{\'e}n{\'e}ration automatique d'un compilateur de tables de v{\'e}rit{\'e} vers un solveur pour formules bool{\'e}ennes quantifi{\'e}es pr{\'e}nexes", 
    booktitle = "Actes des Troisi{\`e}mes Journ{\'e}es Francophones de Programmation par Contraintes (JFPC'07)",
    pages = "79-88",
    year = "2007"
}