@InProceedings{GOM+-05-1,
title = { Automatic extraction of functional dependencies},
booktitle = {Theory and Applications of Satisfiability Testing: 7th International Conference (SAT 2004), Revised Selected Papers,(SAT'04 Revised Selected Papers)},
publisher = {LNCS 3542},
pages = { 122-132},
author = {Grégoire, Éric and Mazure, Bertrand and Ostrowski, Richard and Saïs, Lakhdar},
OPT_auteurs_membres = {Grégoire, Éric and Mazure, Bertrand and Saïs, Lakhdar},
year = {2005},
}