A resolution calculus for the branching-time temporal logic CTL,” (2014)

by L Zhang, U Hustadt, C Dixon
Venue:ACM Transactions on Computational Logic,