APA (7th ed.) Citation

AEHLIG, K., HAFTMANN, F., & NIPKOW, T. (2012). A compiled implementation of normalisation by evaluation. Journal of Functional Programming, 22(1), 9. https://doi.org/10.1017/S0956796812000019

Chicago Style (17th ed.) Citation

AEHLIG, KLAUS, FLORIAN HAFTMANN, and TOBIAS NIPKOW. "A Compiled Implementation of Normalisation by Evaluation." Journal of Functional Programming 22, no. 1 (2012): 9. https://doi.org/10.1017/S0956796812000019.

MLA (9th ed.) Citation

AEHLIG, KLAUS, et al. "A Compiled Implementation of Normalisation by Evaluation." Journal of Functional Programming, vol. 22, no. 1, 2012, p. 9, https://doi.org/10.1017/S0956796812000019.