@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}
}