Recursive Operators for Prime Implicant and Irredundant Normal Form Determination (1970)

by E Morreale
Venue:IEEE Trans. Comp