Temporal Logic CTL + PROLOG. - Tong Gao Tang (J. Autom. Reason., 1989)

Programming in Temporal-Nonmonotonic Reasoning. - Tong Gao Tang (J. Autom. Reason., 1991)