A Refined Resolution Calculus for CTL.

Lan Zhang, Ullrich Hustadt, Clare Dixon

Browse the full CADE paper archive.