Functional extension of structural logic optimization techniques | Publicación