Bill Lin, Olivier Coudert, Jean Christophe Madre
Symbolic Prime Generation for Multiple-Valued Functions
DAC, 1992.
@inproceedings{DAC-1992-LinCM,
acmid = "113938.110437",
author = "Bill Lin and Olivier Coudert and Jean Christophe Madre",
booktitle = "{Proceedings of the 29th Design Automation Conference}",
isbn = "0-8186-2822-7",
pages = "40--44",
publisher = "{IEEE Computer Society Press}",
title = "{Symbolic Prime Generation for Multiple-Valued Functions}",
year = 1992,
}