Complexities of Homomorphism and Isomorphism for Definite Logic Programs. - Daoyun Xu; Zhi-Hong Tao (J. Comput. Sci. Technol., 2005)

Direct Model Checking Matrix Algorithm. - Zhi-Hong Tao; Hans Kleine Büning; Lifu Wang (J. Comput. Sci. Technol., 2006)

Bounded Model Checking of CTL. - Zhi-Hong Tao; Conghua Zhou; Zhong Chen; Lifu Wang (J. Comput. Sci. Technol., 2007)