Milestones from the Pure Lisp theorem prover to ACL2
Crossref DOI link: https://doi.org/10.1007/s00165-019-00490-3
Published Print: 2019-12
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Moore, J. Strother http://orcid.org/0000-0002-9628-1702
Text and Data Mining valid from 2019-12-01
Version of Record valid from 2019-12-01
Article History
Received: 22 March 2019
Accepted: 13 July 2019
First Online: 30 July 2019