@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/09/19}}}