Viktor Schuppan. Enhanced Unsatisfiable Cores for QBF: Weakening Universal to Existential Quantifiers. International Journal on Artificial Intelligence Tools, 29(03n04), 2020. [doi]
@article{Schuppan20, title = {Enhanced Unsatisfiable Cores for QBF: Weakening Universal to Existential Quantifiers}, author = {Viktor Schuppan}, year = {2020}, doi = {10.1142/S021821302060012X}, url = {https://doi.org/10.1142/S021821302060012X}, researchr = {https://researchr.org/publication/Schuppan20}, cites = {0}, citedby = {0}, journal = {International Journal on Artificial Intelligence Tools}, volume = {29}, number = {03n04}, }