@article(bounded-quant,
 author       = {R. Boyer and J S. Moore},
 year         = {1988},
 title        = {The Addition of Bounded Quantification and Partial Functions to a Computational Logic and Its Theorem Prover},
 journal      = {Journal of Automated Reasoning},
 volume       = {4},
 number       = {2},
 pages        = {117--172},
 doi          = {10.1007/BF00244392},
 note         = {See \url{http://www.cs.utexas.edu/users/moore/publications/quant.pdf}},
)
@book(aclh2,
 author       = {R. S. Boyer and J S. Moore},
 year         = {1997},
 title        = {A Computational Logic Handbook, Second Edition},
 publisher    = {Academic Press},
 address      = {New York},
)
@article(apply-jar,
 author       = {M. Kaufmann and \unhbox\voidb@x \hbox{J} S. Moore},
 year         = {2018},
 title        = {Limited Second-Order Functionality in a First-Order Setting},
 journal      = {Journal of Automated Reasoning},
 doi          = {10.1007/s10817-018-09505-9},
 url          = {http://www.cs.utexas.edu/users/kaufmann/papers/apply/},
)
@book(acl2-plus-books-manual,
 author       = {M. Kaufmann and \unhbox\voidb@x \hbox{J} S. Moore and \unhbox\voidb@x \hbox{The ACL2 Community}},
 year         = {2020},
 title        = {The Combined {ACL2+Books} User's Manual},
 publisher    = {\url{http://www.cs.utexas.edu/users/moore/acl2/manuals/current/manual/index.html}},
)
@article(Kunen:1998:NCM:594117.594175,
 author       = {K. Kunen},
 year         = {1998},
 title        = {Nonconstructive Computational Mathematics},
 journal      = {J. Autom. Reason.},
 volume       = {21},
 number       = {1},
 pages        = {69--97},
 doi          = {10.1023/A:1005888712422},
)
@article(iteration,
 author       = {J S. Moore},
 year         = {1975},
 title        = {Introducing Iteration into the Pure LISP Theorem-Prover},
 journal      = {IEEE Transactions on Software Engineering},
 volume       = {1},
 number       = {3},
 pages        = {328--338},
 doi          = {10.1109/TSE.1975.6312857},
 note         = {See \url{http://www.cs.utexas.edu/users/moore/publications/parc-csl-tr-74-3.pdf}},
)