SAT in Monadic Gdel Logics: A Borderline between Decidability and Undecidability.

Matthias Baaz, Agata Ciabattoni, Norbert Preining

Browse the full WoLLIC paper archive.