Matt Kaufmann & Sol Swords (2017):
Meta-extract: Using Existing Facts in Meta-reasoning.
In: Proceedings 14th International Workshop on the ACL2 Theorem Prover and its Applications, Austin, Texas, USA, May 22-23, 2017,
pp. 47–60,
doi:10.4204/EPTCS.249.4.
Mertcan Temel, Anna Slobodova & Warren A. Hunt (2020):
Automated and Scalable Verification of Integer Multipliers.
In: Shuvendu K. Lahiri & Chao Wang: Computer Aided Verification.
Springer International Publishing,
Cham,
pp. 485–507,
doi:10.1007/978-3-030-53288-8_23.