R. Kuznets, G Metcalfe (ed.): "GSB 2014 Electronic Proceedings"; Workshop "Gentzen Systems and Beyond, 2014.