@INPROCEEDINGS{Stephan_DaMota_ICLA_09, 
    author = "I. St{\'e}phan and B. {Da Mota}",
    title = "A unified framework for {C}ertificate and {C}ompilation for {QBF}", 
    booktitle = "Proceedings of the 3rd Indian Conference on Logic and its Applications",
    year = "2009"
}