Heng Zhang, Mingyi Zhang. Model-Characterizing Formulas and Normal Forms in Godel Logics. In 37th International Symposium on Multiple-Valued Logic, ISMVL 2007, 13-16 May 2007, Oslo, Norway. pages 3, IEEE Computer Society, 2007. [doi]
Abstract is missing.