The algebra of Boolean formulas: Some criteria for minimality

Lorenzo Calabi, J. A. Riley

Browse the full FOCS paper archive.