A clausal resolution method for CTL branching-time temporal logic. (1999)

by A Bolotov, M Fisher
Venue:J. Exp. Theor. Artif. Intell.