Accattoli, B., Herbstritt, M., 2013. Linear Logic and Strong Normalization.. https://doi.org/10.4230/lipics.rta.2013.39