Formulation for the computation of Boolean operations | Publicación