Kroening, D., & Strichman, O. (2008). Quantified Formulas. In Decision Procedures (pp. 207–224). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-540-74105-3_9
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.