@inproceedings{PBM12,
title = {Anatomy of Alternating Quantifier Satisfiability (Work in progress) },
author = {Phan, Anh-Dung and Bj{\o}rner, Nikolaj and Monniaux, David},
year = {2012},
booktitle = {10th International Workshop on Satisfiability Modulo Theories (SMT)},
team = {SYNC,PACSS},
category = {intw},
}