Yun-Hong Lee Albert Mo Kim Cheng Optimizing Real-Time Equational Rule-Based Systems. 112-125 2004 30 IEEE Trans. Software Eng. 2 http://csdl.computer.org/comp/trans/ts/2004/02/e0112abs.htm db/journals/tse/tse30.html#LeeC04