Resolution for Branching Time Temporal Logics: Applying the Temporal Resolution Rule.

Alexander Bolotov, Clare Dixon

Browse the full TIME paper archive.