Simplifying Interpreted Formulas.

Donald W. Loveland, Robert E. Shostak

Browse the full CADE paper archive.