Termination Analysis of OPS5 Expert Systems. - Hsiu-yen Tsai; Albert Mo Kim Cheng (AAAI, 1994)

A Graph-Based Approach for Timing Analysis and Refinement of OPS5 Knowledge-Based Systems. - Albert Mo Kim Cheng; Hsiu-yen Tsai (IEEE Trans. Knowl. Data Eng., 2004)