On the Complexity of Horn and Krom Fragments of Second-Order Boolean Logic.

Miika Hannula, Juha Kontinen, Martin Lck, Jonni Virtema

Browse the full CSL paper archive.