Logics for Mazurkiewicz traces | lit.salon