Logical Definability of Trace Languages
W. Ebinger

in The Book of Traces, edited by V. Diekert and G. Rozenberg (see dr95.*)