Grigori Mints Cut Elimination for S4C: A Case Study. 121-132 2006 82 Studia Logica 1 http://dx.doi.org/10.1007/s11225-006-6608-1 db/journals/sLogica/sLogica82.html#Mints06