Christoph Zengler, Andreas Kübler, Wolfgang Küchlin. New approaches to boolean quantifier elimination. ACM Comm. Computer Algebra, 45(1/2):139-140, 2011. [doi]
@article{ZenglerKK11, title = {New approaches to boolean quantifier elimination}, author = {Christoph Zengler and Andreas Kübler and Wolfgang Küchlin}, year = {2011}, doi = {10.1145/2016567.2016595}, url = {http://doi.acm.org/10.1145/2016567.2016595}, researchr = {https://researchr.org/publication/ZenglerKK11}, cites = {0}, citedby = {0}, journal = {ACM Comm. Computer Algebra}, volume = {45}, number = {1/2}, pages = {139-140}, }