Automaton-Based Criteria for Membership in CTL. - Udi Boker; Yariv Shaulian (LICS, 2018)