TY  - RPRT
TI  - All Linear-Time Congruences for Familiar Operators
AU  - Antti Valmari
PY  - 2013
DO  - 10.2168/lmcs-9(4:11)2013
UR  - https://arxiv.org/abs/1310.8408
ID  - 1310.8408
ER  -