APA (7th ed.) Citation

Geuvers, H., & Nederpelt, R. (2022). Characteristics of de Bruijn's early proof checker Automath. Fundamenta Informaticae, 185(4), 313. https://doi.org/10.3233/FI-222112

Chicago Style (17th ed.) Citation

Geuvers, Herman, and Rob Nederpelt. "Characteristics of De Bruijn's Early Proof Checker Automath." Fundamenta Informaticae 185, no. 4 (2022): 313. https://doi.org/10.3233/FI-222112.

MLA (9th ed.) Citation

Geuvers, Herman, and Rob Nederpelt. "Characteristics of De Bruijn's Early Proof Checker Automath." Fundamenta Informaticae, vol. 185, no. 4, 2022, p. 313, https://doi.org/10.3233/FI-222112.