Matthias Baaz Agata Ciabattoni Norbert Preining SAT in Monadic Gödel Logics: A Borderline between Decidability and Undecidability. 113-123 2009 WoLLIC http://dx.doi.org/10.1007/978-3-642-02261-6_10 conf/wollic/2009 db/conf/wollic/wollic2009.html#BaazCP09