A Precise Description (0)

by M Kaufmann, J S Moore
Venue:of the ACL2 Logic. URL http://www.cs.utexas.edu/users/moore/acl2/reports/- km97a.ps