CACTUS: a symbolic CMOS two-dimensional compactor. - Tomás Pérez Segovia; Anne-Françoise Joanblanq (EURO-DAC, 1990)