Automaton-Based Criteria for Membership in CTL.

Udi Boker, Yariv Shaulian

Browse the full LICS paper archive.