APA (7th ed.) Citation

Hardin, D. S., Davis, J. A., Greve, D. A., & McClurg, J. R. (2014, June). Development of a Translator from LLVM to ACL2. Electronic Proceedings in Theoretical Computer Science.

Chicago Style (17th ed.) Citation

Hardin, David S., Jennifer A. Davis, David A. Greve, and Jedidiah R. McClurg. "Development of a Translator from LLVM to ACL2." Electronic Proceedings in Theoretical Computer Science Jun. 2014.

MLA (9th ed.) Citation

Hardin, David S., et al. "Development of a Translator from LLVM to ACL2." Electronic Proceedings in Theoretical Computer Science, Jun. 2014.