"On First-Order Fragments for Words and Mazurkiewicz Traces."

Volker Diekert, Manfred Kufleitner (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics