Partial functions in ACL2 (0)

by Panagiotis Manolios, J Strother Moore
Venue:J. Autom. Reasoning