@misc(doc,
 author       = {ACL2 Community},
 year         = {Accessed May 1, 2020},
 title        = {ACL2+Books Documentation},
 url          = {http://www.cs.utexas.edu/users/moore/acl2/manuals/current/manual/index.html},
)
@inproceedings(meta-extract,
 author       = {Matt Kaufmann and Sol Swords},
 year         = {2017},
 title        = {Meta-extract: Using Existing Facts in Meta-reasoning},
 booktitle    = {Proceedings 14th International Workshop on the {ACL2} Theorem Prover and its Applications, Austin, Texas, USA, May 22-23, 2017},
 pages        = {47--60},
 doi          = {10.4204/EPTCS.249.4},
)
@inproceedings(mult-paper,
 author       = {Mertcan Temel and Anna Slobodova and Warren A. Hunt},
 year         = {2020},
 title        = {Automated and Scalable Verification of Integer Multipliers},
 editor       = {Shuvendu K. Lahiri and Chao Wang},
 booktitle    = {Computer Aided Verification},
 publisher    = {Springer International Publishing},
 address      = {Cham},
 pages        = {485--507},
 doi          = {10.1007/978-3-030-53288-8_23},
)