Matthias Baaz, Agata Ciabattoni: Proof theory of witnessed Gödel logic: A negative result. J. Log. Comput. 26(1): 51-64 (2016)