Title: PRONTO : a product term reduction approach
Subjects: Computer engineering