Planarity in ROMDD's of Multiple-Valued Symmetric Functions. - Jon T. Butler; J. L. Nowlin; Tsutomu Sasao (ISMVL, 1996)