@misc{indiciae92d54c7ecb52,
  title = {First-Order Logic with Counting: At Least, Weak Hanf Normal Forms Always Exist and Can Be Computed!},
  author = {Dietrich Kuske and Nicole Schweikardt},
  year = {2017},
  url = {https://arxiv.org/abs/1703.01122},
  note = {Source identifier: 1703.01122}
}