S.: Partial functions in ACL2 (0)

by P Manolios, J Moore
Venue:Journal of Automated Reasoning (JAR