TY  - RPRT
TI  - Learning and Verifying Quantified Boolean Queries by Example
AU  - Azza Abouzied
AU  - Dana Angluin
AU  - Christos Papadimitriou
AU  - Joseph M. Hellerstein
AU  - Avi Silberschatz
PY  - 2013
UR  - https://arxiv.org/abs/1304.4303
ID  - 1304.4303
ER  -