TY  - RPRT
TI  - An optimal construction of Hanf sentences
AU  - Benedikt Bollig
AU  - Dietrich Kuske
PY  - 2011
UR  - https://arxiv.org/abs/1105.5487
ID  - 1105.5487
ER  -