TY  - RPRT
TI  - On the number of terms witnessing congruence modularity
AU  - Paolo Lipparini
PY  - 2020
UR  - https://arxiv.org/abs/1709.06023
ID  - 1709.06023
ER  -