@Inproceedings{EPTCS249.4, author = {Kaufmann, Matt and Swords, Sol}, year = {2017}, title = {Meta-extract: Using Existing Facts in Meta-reasoning}, editor = {Slobodova, Anna and Hunt, Jr., Warren}, booktitle = {{\rm Proceedings 14th International Workshop on the} ACL2 Theorem Prover and its Applications, {\rm Austin, Texas, USA, May 22-23, 2017}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {249}, publisher = {Open Publishing Association}, pages = {47-60}, doi = {10.4204/EPTCS.249.4}, }