Francisco Corella Zijian Zhou Xiaoyu Song Michel Langevin Eduard Cerny Multiway Decision Graphs for Automated Hardware Verification. 7-46 1997 10 Formal Methods in System Design 1 db/journals/fmsd/fmsd10.html#CorellaZSLC97