M. Baaz, A. Ciabattoni, C. Fermüller:
"Cut elimination for first order Gödel logic by hyperclause resolution";
in: "Logic for Programming, Artificial Intelligence, and Reasoning (LNAI 5330)", I. Cervesato, H. Veith, A. Voronkov (ed.); Springer, 2008, ISBN: 3-540-89438-1, 451 - 466.