ByNobleID
    On first-order fragments for words and Mazurkiewicz traces: a survey | NobleID