APA (7th ed.) Citation

Kaufmann, M., Manolios, P., & Moore, J. S. (2000). Computer-Aided Reasoning: ACL2 Case Studies. Springer US.

Chicago Style (17th ed.) Citation

Kaufmann, Matt, Panagiotis Manolios, and J. Strother Moore. Computer-Aided Reasoning: ACL2 Case Studies. Boston, MA: Springer US, 2000.

MLA (9th ed.) Citation

Kaufmann, Matt, et al. Computer-Aided Reasoning: ACL2 Case Studies. Springer US, 2000.