Authors: YUAN LY YOU JH

Citation: Ly. Yuan et Jh. You, COHERENCE APPROACH TO LOGIC PROGRAM REVISION, IEEE transactions on knowledge and data engineering, 10(1), 1998, pp. 108-119

Authors: YOU JH YUAN LY

Citation: Jh. You et Ly. Yuan, ON THE EQUIVALENCE OF SEMANTICS FOR NORMAL LOGIC PROGRAMS, The journal of logic programming, 22(3), 1995, pp. 211-222

Authors: LAI JY DENQ YL CHEN JK YUAN LY LIN YY SHYU SS

Citation: Jy. Lai et al., PEEL STRENGTH IMPROVEMENT OF SILICONE-RUBBER FILM BY PLASMA PRETREATMENT FOLLOWED BY GRAFT-COPOLYMERIZATION, Journal of adhesion science and technology, 9(7), 1995, pp. 813-822

Authors: WANG K YUAN LY

Citation: K. Wang et Ly. Yuan, 1ST-ORDER LOGIC CHARACTERIZATION OF PROGRAM PROPERTIES, IEEE transactions on knowledge and data engineering, 6(4), 1994, pp. 518-533

Authors: YOU JH YUAN LY

Citation: Jh. You et Ly. Yuan, A 3-VALUED SEMANTICS FOR DEDUCTIVE DATABASES AND LOGIC PROGRAMS, Journal of computer and system sciences, 49(2), 1994, pp. 334-361

Authors: YUAN LY

Citation: Ly. Yuan, LOGIC PROGRAM SEMANTICS AND CIRCUMSCRIPTION OF AUTOEPISTEMIC THEORIES, Information processing letters, 50(3), 1994, pp. 159-164