Boolean decomposition using two-literal divisors | Publicación