Design Goals for ACL2 Design Goals for ACL Matt Kaufmann and J Strother Mo oreTechnical Rep ort August Computational Logic Inc