@misc(acl2:doc,
 author       = {{ACL2 Community}},
 year         = {Accessed: 2020},
 title        = {{ACL2+Books} Documentation},
 url          = {http://www.cs.utexas.edu/users/moore/acl2/manuals/current/manual/index.html},
)
@article(boyer1984mechanical,
 author       = {Robert S. Boyer and J Strother Moore},
 year         = {1984},
 title        = {A mechanical proof of the unsolvability of the halting problem},
 journal      = {Journal of the ACM (JACM)},
 volume       = {31},
 number       = {3},
 pages        = {441--458},
 doi          = {10.1145/828.1882},
)
@inproceedings(05-hunt-meta,
 author       = {Hunt Jr., Warren A. and Matt Kaufmann and Robert Bellarmine Krug and J. Strother Moore and Eric Whitman Smith},
 year         = {2005},
 title        = {Meta Reasoning in {ACL2}},
 editor       = {Joe Hurd and Tom Melham},
 booktitle    = {Theorem Proving in Higher Order Logics},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {163--178},
 doi          = {10.1007/11541868_11},
)
@misc(fgl-github,
 author       = {Sol Swords},
 year         = {Accessed: 2020},
 title        = {{FGL} source distribution},
 url          = {https://github.com/acl2/acl2/tree/master/books/centaur/fgl},
)