Jian Li Rajesh K. Gupta Decomposition of timed decision tables and its use in presynthesis optimizations. 22-27 1997 ICCAD http://doi.acm.org/10.1145/266388.266408 db/conf/iccad/iccad1997.html#LiG97