Announcement
Partial Functions in ACL2
Abstract Congruence Closure*
Herbrand Award Acceptance Speech*