@misc{indiciae29093b3ee056, title = {Minimization for Generalized Boolean Formulas}, author = {Edith Hemaspaandra and Henning Schnoor}, year = {2011}, url = {https://arxiv.org/abs/1104.2312}, note = {Source identifier: 1104.2312} }