Nael Nabih Abweh

• PRONTO programs for product term reduction