Strong Normalization for Truth Table Natural Deduction. - Geuvers, Herman; van der Giessen, Iris; Hurkens, Tonny; Altenkirch, Thorsten; Schubert, Aleksy (Fundamenta Informaticae, 2019)