Arnon Avron Beata Konikowska Decomposition Proof Systems for Gödel-Dummett Logics. 197-219 2001 69 Studia Logica 2 db/journals/sLogica/sLogica69.html#AvronK01