Deductive Debugging. - Nachum Dershowitz; Yuh-Jeng Lee (SLP, 1987)

Debugging Logic Programs Using Executable Specifications - Yuh-Jeng Lee (1988)

Generating displays for specifications using attribute grammars. - Valdis Berzins; Yuh-Jeng Lee (COMPSAC, 1989)

Interactive control of prototyping process. - Luqi; Yuh-Jeng Lee (COMPSAC, 1989)

Multitasking Simulation of a Boiler System Using Qualitative Model-Based Reasoning. - Yuh-Jeng Lee; James F. Stascavage (ACM Trans. Model. Comput. Simul., 1992)

Debugging Logic Programs Using Specifications. - Yuh-Jeng Lee; Nachum Dershowitz (AADEBUG, 1993)

Logical Debugging. - Nachum Dershowitz; Yuh-Jeng Lee (J. Symb. Comput., 1993)

Optimizing an air defense evaluation model using inductive learning. - Yuh-Jeng Lee; Chang-yun Lo (Appl. Artif. Intell., 1994)