@InProceedings{DFL+-13-1,
title = {Computing prime implicants},
booktitle = {13th International Conference on Formal Methods in Computer-Aided Design(FMCAD'13)},
publisher = {IEEE Press},
author = {Deharbe, David and Fontaine, Pascal and Le~Berre, Daniel and Mazure, Bertrand},
OPT_auteurs_membres = {Le~Berre, Daniel and Mazure, Bertrand},
year = {2013},
}