@misc{indiciae6f7fd69b3905,
  title = {Finding Finite Models in Multi-Sorted First Order Logic},
  author = {Giles Reger and Martin Suda and Andrei Voronkov},
  year = {2016},
  url = {https://arxiv.org/abs/1604.08040},
  note = {Source identifier: 1604.08040}
}