Kousha Etessami Thomas Wilke An Until Hierarchy for Temporal Logic. 108-117 1996 LICS db/conf/lics/lics96.html#EtessamiW96