Temporal Reasoning in Data Base. - Wei Qian; Zhaokeng Zhao (DS-3, 1988)

Temporal Reasoning Management with Nonmonotonicity. - Wei Qian; Zhaokeng Zhao (IFIP Congress, 1989)

Automated theorem proving in temporal logic: T-resolution. - Zhaokeng Zhao; Jun Dai; Wendan Chen (J. Comput. Sci. Technol., 1994)