Bill Lin, Olivier Coudert, Jean Christophe Madre. Symbolic Prime Generation for Multiple-Valued Functions. In DAC. pages 40-44, 1992. [doi]
@inproceedings{LinCM92, title = {Symbolic Prime Generation for Multiple-Valued Functions}, author = {Bill Lin and Olivier Coudert and Jean Christophe Madre}, year = {1992}, url = {http://portal.acm.org/citation.cfm?id=113938.110437}, researchr = {https://researchr.org/publication/LinCM92}, cites = {0}, citedby = {0}, pages = {40-44}, booktitle = {DAC}, }