EFFECTIVE CHARACTERIZATIONS OF SIMPLE FRAGMENTS OF TEMPORAL LOGIC USING CARTON–MICHEL AUTOMATA. - PREUGSCHAT, EBASTIAN; WILKE, THOMAS (Logical Methods in Computer Science (LMCS), 2013)