David Gordon Dutra

• Computer reduction of Boolean expressions