TY  - RPRT
TI  - Global Trace Condition for Injective Transition Graphs
AU  - Stefano Berardi
AU  - Ugo de'Liguoro
AU  - Daniel Osorio-Valencia
PY  - 2026
UR  - https://arxiv.org/abs/2611.04788
ID  - 2611.04788
ER  -