ACL2 Support for Verification Projects (Invited Talk)

Towards a mechanically checked theory of computation: the ACL2 project

Logic-based artificial intelligence

The Correctness of the Fast Fourier Transform: A Structured Proof in ACL2

Formal Methods in System Design

The CADE-15 ATP System Competition

Journal of Automated Reasoning

Structured Theory Development for a Mechanized Logic

Journal of Automated Reasoning

Symbolic Simulation: An ACL2 Approach

FMCAD '98 Proceedings of the Second International Conference on Formal Methods in Computer-Aided Design

Strategic Issues, Problems and Challenges in Inductive Theorem Proving

Electronic Notes in Theoretical Computer Science (ENTCS)