Stable trace automata vs. full trace automata
scientific article; zbMATH DE number 1243213