Odile Millet Multicycles and RTL Logic Satisfiability. 73-86 1992 conf/ftrtft/1992 FTRTFT db/conf/ftrtft/ftrtft1992.html#Millet92