APA (7th ed.) Citation

Geuvers, H., van der Giessen, I., Hurkens, T., Altenkirch, T., & Schubert, A. (2019). Strong Normalization for Truth Table Natural Deduction. Fundamenta Informaticae, 170(1-3), 139. https://doi.org/10.3233/FI-2019-1858

Chicago Style (17th ed.) Citation

Geuvers, Herman, Iris van der Giessen, Tonny Hurkens, Thorsten Altenkirch, and Aleksy Schubert. "Strong Normalization for Truth Table Natural Deduction." Fundamenta Informaticae 170, no. 1-3 (2019): 139. https://doi.org/10.3233/FI-2019-1858.

MLA (9th ed.) Citation

Geuvers, Herman, et al. "Strong Normalization for Truth Table Natural Deduction." Fundamenta Informaticae, vol. 170, no. 1-3, 2019, p. 139, https://doi.org/10.3233/FI-2019-1858.