@inproceedings{baazmetcalfe2008,
	title     = {Herbrand Theorems and Skolemization for Fuzzy Logics},
	author    = {M. Baaz and G. Metcalfe},
	year      = {2008},
	editor    = {A. Beckmann, C. Dimitracopoulos, and B. Löwe},
	volume    = {5028},
	pages     = {22--31},
	publisher = {Springer},
	series    = {LNCS},
	booktitle = {Proceedings of CiE 2008},
	state     = {published}
}