DMCA

1 A Resolution Calculus for the Branching-Time Temporal Logic CTL

by Ullrich Hustadt