Y. Igarashi The Size of Arrays for a Prime Implicant Generating Algorithm. 73-77 1980 23 Comput. J. 1 db/journals/cj/cj23.html#Igarashi80