Automated analysis of bounded response time for two NASA expert systems. - Chih-Kan Wang; Duu-Chung Tsou; Rwo-Hsi Wang; James C. Browne; Aloysius K. Mok (SIGSOFT, 1991)

Timing Analysis of MRL: A Real-Time Rule-Based System. - Chih-Kan Wang; Aloysius K. Mok (Real Time Syst., 1993)

A New Approach to Modularity in Rule-Based Programming. - James C. Browne; E. Allen Emerson; Mohamed G. Gouda; Daniel P. Miranker; Aloysius K. Mok; Roberto J. Bayardo Jr.; Sarah E. Chodrow; David Gadbois; F. Furman Haddix; Thomas W. Hetherington; Lance Obermeyer; Duu-Chung Tsou; et al. (ICTAI, 1994)

Realizing EQL Programs for Bounded-Time Execution. - Aloysius K. Mok; Rwo-Hsi Wang; Chih-Kan Wang (J. Syst. Integr., 1996)