Citation: B. Zupan et Amk. Cheng, OPTIMIZATION OF RULE-BASED SYSTEMS USING STATE-SPACE GRAPHS, IEEE transactions on knowledge and data engineering, 10(2), 1998, pp. 238-254
Citation: Jr. Chen et Amk. Cheng, RESPONSE-TIME ANALYSIS OF EQL REAL-TIME RULE-BASED SYSTEMS, IEEE transactions on knowledge and data engineering, 7(1), 1995, pp. 26-43
Citation: Amk. Cheng et al., ANALYSIS OF REAL-TIME RULE-BASED SYSTEMS WITH BEHAVIORAL CONSTRAINT ASSERTIONS SPECIFIED IN ESTELLA, IEEE transactions on software engineering, 19(9), 1993, pp. 863-885