page 1  (19 pages)
2to next section

Redundancy Elimination with a
Lexicographic Solved Form

J-L. Imbert1

P. Van Hentenryck2

Technical Report No. CS-95-02

Febuary, 1995

1Lab. Informatique de Clermont-Ferrand Complexe Universitaire des Cezaux F-63177
Aubiere Cedex (France)
2Dept.of Computer Science,Brown University Providence, RI 02912