@misc{misc, title = {{On the Complexity of Horn and Krom Fragments of Second-Order Boolean Logic}}, url = {{}}, year = {{2020}}, month = {{7}}, author = {{Hannula M and Kontinen J and Lück M and Virtema J}}, note = {{Accessed on 2024/12/22}}}