@article{compref234,
   author = {McMullen,C and Shearer,J},
   year = {1986},
   title = {Prime Implicants, Minimum Cover and the Complexity of Logic Simplification},
   journal = {IEEE Transactions on Computers},
   volume = {35},
   pages = {761-762}
}