@Inproceedings{EPTCS327.2, author = {Kaufmann, Matt and Moore, J Strother}, year = {2020}, title = {Iteration in ACL2}, editor = {Passmore, Grant and Gamboa, Ruben}, booktitle = {{\rm Proceedings of the Sixteenth International Workshop on the} ACL2 Theorem Prover and its Applications, {\rm Worldwide, Planet Earth, May 28-29, 2020}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {327}, publisher = {Open Publishing Association}, pages = {16-31}, doi = {10.4204/EPTCS.327.2}, }