Title: PRONTO programs for product term reduction
Subjects: Data compression (Computer science)