Igor Stéphan, Benoit Da Mota. A Unified Framework for Certificate and Compilation for QBF. In R. Ramanujam, Sundar Sarukkai, editors, Logic and Its Applications, Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings. Volume 5378 of Lecture Notes in Computer Science, pages 210-223, Springer, 2009. [doi]
@inproceedings{StephanM09,
title = {A Unified Framework for Certificate and Compilation for QBF},
author = {Igor Stéphan and Benoit Da Mota},
year = {2009},
doi = {10.1007/978-3-540-92701-3_15},
url = {http://dx.doi.org/10.1007/978-3-540-92701-3_15},
tags = {certification},
researchr = {https://researchr.org/publication/StephanM09},
cites = {0},
citedby = {0},
pages = {210-223},
booktitle = {Logic and Its Applications, Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings},
editor = {R. Ramanujam and Sundar Sarukkai},
volume = {5378},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-92700-6},
}