TY  - CONF

T1  - On the complexity of horn and krom fragments of second-order boolean logic

JO  - Leibniz International Proceedings in Informatics, LIPIcs

PY  - 2021/01/01

AU  - Hannula M

AU  - Kontinen J

AU  - Lück M

AU  - Virtema J

ED  - 

DO  - DOI: 10.4230/LIPIcs.CSL.2021.27

SN  - 9783959771757

VL  - 183

Y2  - 2024/12/22

ER  -