J.S.: Design goals of ACL2 (1994)

by M Kaufmann, Moore