Date: Friday, 17-Jan-97 00:08:35 GMT Server: NCSA/1.3 MIME-version: 1.0 Content-type: text/html Last-modified: Tuesday, 23-Apr-96 21:21:35 GMT Content-length: 1750
author affiliations
colloquia anouncement
abstract
technical report explaining how the proof works
the ACL2 based proof