APA (7th ed.) Citation

Martín-Mateos, F., Ruiz-Reina, J., Alonso, J., & Hidalgo, M. (2011). Proof Pearl: A Formal Proof of Higman's Lemma in ACL2. Journal of Automated Reasoning, 47(3), 229. https://doi.org/10.1007/s10817-010-9178-x

Chicago Style (17th ed.) Citation

Martín-Mateos, Francisco, José Ruiz-Reina, José Alonso, and María Hidalgo. "Proof Pearl: A Formal Proof of Higman's Lemma in ACL2." Journal of Automated Reasoning 47, no. 3 (2011): 229. https://doi.org/10.1007/s10817-010-9178-x.

MLA (9th ed.) Citation

Martín-Mateos, Francisco, et al. "Proof Pearl: A Formal Proof of Higman's Lemma in ACL2." Journal of Automated Reasoning, vol. 47, no. 3, 2011, p. 229, https://doi.org/10.1007/s10817-010-9178-x.