TY  - RPRT
TI  - Stuttering equivalence is too slow!
AU  - David N. Jansen
AU  - Jeroen J. A. Keiren
PY  - 2016
UR  - https://arxiv.org/abs/1603.05789
ID  - 1603.05789
ER  -