Herman Geuvers, Iris van der Giessen, Tonny Hurkens. Strong Normalization for Truth Table Natural Deduction. Fundamenta Informaticae, 170(1-3):139-176, 2019. [doi]
No references recorded for this publication.
No citations of this publication recorded.