Partial Functions in ACL2 (0)

by Panagiotis Manolios, J Strother Moore
Venue:Journal of Automated Reasoning