David J. Jeffrey, Albert D. Rich: Reducing Expression Size Using Rule-Based Integration. AISC/MKM/Calculemus 2010: 234-246