TY  - RPRT
TI  - First-Order Logic with Counting: At Least, Weak Hanf Normal Forms Always Exist and Can Be Computed!
AU  - Dietrich Kuske
AU  - Nicole Schweikardt
PY  - 2017
UR  - https://arxiv.org/abs/1703.01122
ID  - 1703.01122
ER  -