TY  - RPRT
TI  - Separation of congruence intervals and implications
AU  - Andrei A. Bulatov
PY  - 2025
UR  - https://arxiv.org/abs/2007.07237
ID  - 2007.07237
ER  -