The following publications are possibly variants of this publication:
- First-order satisfiability in Gödel logics: An NP-complete fragmentMatthias Baaz, Agata Ciabattoni, Norbert Preining. TCS, 412(47):6612-6623, 2011. [doi]
- Characterization of the Axiomatizable Prenex Fragments of First-Order Gödel LogicsMatthias Baaz, Norbert Preining, Richard Zach. ismvl 2003: 175-180 [doi]
- First-order Gödel logicsMatthias Baaz, Norbert Preining, Richard Zach. APAL, 147(1-2):23-47, 2007. [doi]
- On the classification of first order Gödel logicsMatthias Baaz, Norbert Preining. APAL, 170(1):36-57, 2019. [doi]