TY  - RPRT
TI  - Structural Reductions and Stutter Sensitive Properties
AU  - Emmanuel Paviot-Adet
AU  - Denis Poitrenaud
AU  - Etienne Renault
AU  - Yann Thierry-Mieg
PY  - 2025
DO  - 10.46298/lmcs-21(2:15)2025
UR  - https://arxiv.org/abs/2212.04218
ID  - 2212.04218
ER  -