Logic based algorithms for the rigorous design of thermally coupled distillation sequences | Publicación