An Algebraic Method to Decide the Deduction Problem in Many-Valued Propositional Calculus. - Jin-Zhao Wu; Hong-Yan Tan (ISMVL, 1994)

An Algebraic Method to Decide the Deduction Problem in Many-Valued Logics. - Jin-Zhao Wu; Hong-Yan Tan; Yongli Li (J. Appl. Non Class. Logics, 1998)

On theorem proving in annotated logics. - Mi Lu; Jin-Zhao Wu (J. Appl. Non Class. Logics, 2000)

Action Refinement for Real-Time Concurrent Processes with Urgency. - Guang-Ping Qin; Jin-Zhao Wu (J. Comput. Sci. Technol., 2005)

Approximation to Linear Algebraic Transition System. - Zhiwei Zhang; Jin-Zhao Wu; Hao Yang (ICIC (3), 2012)