Search Strategies for Resolution in CTL-Type Logics: Extension and Complexity.

Artie Basukoski, Alexander Bolotov

Browse the full TIME paper archive.