APA (7th ed.) Citation

Medina-Bulo, I., Palomo-Lozano, F., & Ruiz-Reina, J. (2010). A verified Common Lisp implementation of Buchberger’s algorithm in ACL2. Journal of Symbolic Computation, 45(1), 96. https://doi.org/10.1016/j.jsc.2009.07.002

Chicago Style (17th ed.) Citation

Medina-Bulo, Inmaculada, Francisco Palomo-Lozano, and José-Luis Ruiz-Reina. "A Verified Common Lisp Implementation of Buchberger’s Algorithm in ACL2." Journal of Symbolic Computation 45, no. 1 (2010): 96. https://doi.org/10.1016/j.jsc.2009.07.002.

MLA (9th ed.) Citation

Medina-Bulo, Inmaculada, et al. "A Verified Common Lisp Implementation of Buchberger’s Algorithm in ACL2." Journal of Symbolic Computation, vol. 45, no. 1, 2010, p. 96, https://doi.org/10.1016/j.jsc.2009.07.002.