Authors: SHIU SCK LIU JNK YEUNG DS

Citation: Sck. Shiu et al., FORMAL DESCRIPTION AND VERIFICATION OF HYBRID RULE FRAME-BASED EXPERT-SYSTEMS/, Expert systems with applications, 13(3), 1997, pp. 215-230