Limited Second-Order Functionality in a First-Order Setting

Here we post a preprint of our paper, "Limited Second-Order Functionality in a First-Order Setting". The latest version of the corresponding books (under the ACL2 community books on GitHub) may be found by following this link.

Matt Kaufmann
J Strother Moore