Closure via functional dependence simplification

Angel Mora, Pablo Cordero, Manuel Enciso, Inmaculada Fortes, Gabriel Aguilera. Closure via functional dependence simplification. Int. J. Comput. Math., 89(4):510-526, 2012. [doi]

Abstract

Abstract is missing.