@InProceedings{GOM+-05-2,
title = { Automatic extraction of functional dependencies},
booktitle = {Seventh International Conference on Theory and Applications of Satisfiability Testing(SAT'04)},
author = {Grégoire, Éric and Ostrowski, Richard and Mazure, Bertrand and Saïs, Lakhdar},
OPT_auteurs_membres = {Grégoire, Éric and Mazure, Bertrand and Saïs, Lakhdar},
year = {2004},
}