A. Indrzejczak, “Tautology Elimination, Cut Elimination, and S5”, LLP, vol. 26, no. 4, pp. 461–471, Apr. 2017.