@Inproceedings{EPTCS70.4, author = {Kaufmann, Matt and Moore, J Strother}, year = {2011}, title = {How Can I Do That with ACL2? Recent Enhancements to ACL2}, editor = {Hardin, David and Schmaltz, Julien}, booktitle = {{\rm Proceedings 10th International Workshop} on the ACL2 Theorem Prover and its Applications, {\rm Austin, Texas, USA, November 3-4, 2011}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {70}, publisher = {Open Publishing Association}, pages = {46-60}, doi = {10.4204/EPTCS.70.4}, }