@conference {187, title = {Computing Prime Implicants}, booktitle = {13th Intl. Conf. Formal Methods for Computer-Aided Design (FMCAD 2013)}, year = {2013}, publisher = {ACM}, organization = {ACM}, address = {Portland, OR, U.S.A.}, url = {http://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD13/proceedings/54418_IEEE\%20FMCAD_Complete\%20Book.pdf}, author = {David D{\'e}harbe and Pascal Fontaine and Le Berre, Daniel and Bertrand Mazure}, editor = {Barbara Jobstmann and Sandip Ray} }