Bill Lin Olivier Coudert Jean Christophe Madre Symbolic Prime Generation for Multiple-Valued Functions. 40-44 1992 DAC http://portal.acm.org/citation.cfm?id=113938.110437 db/conf/dac/dac92.html#LinCM92