Verification in ACL2 of a Generic Framework to Synthesize SAT-Provers | Publicación