@INPROCEEDINGS{Stephan_ECAI_06, author = "I. St{\'e}phan", title = "{B}oolean {P}ropagation {B}ased on {L}iterals for {Q}uantified {B}oolean {F}ormulae", booktitle = "Proceedings of the 17th European Conference on Artificial Intelligence (ECAI'06)", year = "2006" }