@inproceedings{fermüller2008,
	title     = {Cut Elimination for First Order Gödel Logic by Hyperclause Resolution },
	author    = {M. Baaz and  A. Ciabattoni and  C. G. Fermüller},
	year      = {2008},
	volume    = {5530},
	pages     = {451--466},
	series    = {LNCS},
	booktitle = {Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning},
	state     = {published}
}