Encapsulation for Practical Simplification Procedures

What this record says

ACL2 was used to prove properties of two simplification procedures. The procedures differ in complexity but solve the same programming

CATALOG · The abstract is indexed.