Matt Kaufmann
1 reference under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
Meta-extract: Using Existing Facts in Meta-reasoning
Matt Kaufmann and others (2017) · Proceedings of the 14th International Workshop on the ACL2 Theorem Prover and its Applications (ACL2 2017)