Closure via functional dependence simplification | Publicación