Matthias Baaz George Metcalfe Herbrand Theorems and Skolemization for Prenex Fuzzy Logics. 22-31 2008 CiE http://dx.doi.org/10.1007/978-3-540-69407-6_3 conf/cie/2008 db/conf/cie/cie2008.html#BaazM08