Determining essential implicants based on product-term separation - Bo, Wang (Array, 2004)