TY  - RPRT
TI  - Ideal Separation and General Theorems for Constrained Synchronization and their Application to Small Constraint Automata
AU  - Stefan Hoffmann
PY  - 2021
UR  - https://arxiv.org/abs/2005.05907
ID  - 2005.05907
ER  -