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]

@article{MoraCEFA12,
  title = {Closure via functional dependence simplification},
  author = {Angel Mora and Pablo Cordero and Manuel Enciso and Inmaculada Fortes and Gabriel Aguilera},
  year = {2012},
  doi = {10.1080/00207160.2011.644275},
  url = {http://dx.doi.org/10.1080/00207160.2011.644275},
  researchr = {https://researchr.org/publication/MoraCEFA12},
  cites = {0},
  citedby = {0},
  journal = {Int. J. Comput. Math.},
  volume = {89},
  number = {4},
  pages = {510-526},
}