D. Michael Miller Spectral Transformation of Multiple-Valued Decision Diagrams. 89-96 1994 ISMVL db/conf/ismvl/ismvl1994.html#Miller94