%0 Conference Paper %1 conf/cade/PhanBM12 %A Phan, Anh-Dung %A Bjørner, Nikolaj %A Monniaux, David %B SMT@IJCAR %D 2012 %E Fontaine, Pascal %E Goel, Amit %I EasyChair %K dblp %P 120-130 %T Anatomy of Alternating Quantifier Satisfiability (Work in progress). %U http://dblp.uni-trier.de/db/conf/cade/smt2012.html#PhanBM12 %V 20

@inproceedings{conf/cade/PhanBM12, added-at = {2013-11-29T00:00:00.000+0100}, author = {Phan, Anh-Dung and Bjørner, Nikolaj and Monniaux, David}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/286440776210e684db3f1ebca83fa8bad/dblp}, booktitle = {SMT@IJCAR}, crossref = {conf/cade/2012smt}, editor = {Fontaine, Pascal and Goel, Amit}, ee = {http://www.easychair.org/publications/?page=2059587077}, interhash = {0440a4417696144379e8db4acfccc91d}, intrahash = {86440776210e684db3f1ebca83fa8bad}, keywords = {dblp}, pages = {120-130}, publisher = {EasyChair}, series = {EPiC Series in Computing}, timestamp = {2016-06-17T09:33:44.000+0200}, title = {Anatomy of Alternating Quantifier Satisfiability (Work in progress).}, url = {http://dblp.uni-trier.de/db/conf/cade/smt2012.html#PhanBM12}, volume = 20, year = 2012 }