APA (7th ed.) Citation

Abrahamsson, O. (2020). A verified proof checker for higher-order logic. Journal of logical and algebraic methods in programming, 112, 100530. https://doi.org/10.1016/j.jlamp.2020.100530

Chicago Style (17th ed.) Citation

Abrahamsson, Oskar. "A Verified Proof Checker for Higher-order Logic." Journal of Logical and Algebraic Methods in Programming 112 (2020): 100530. https://doi.org/10.1016/j.jlamp.2020.100530.

MLA (9th ed.) Citation

Abrahamsson, Oskar. "A Verified Proof Checker for Higher-order Logic." Journal of Logical and Algebraic Methods in Programming, vol. 112, 2020, p. 100530, https://doi.org/10.1016/j.jlamp.2020.100530.