@misc{indiciae902f3e1d16cb,
  title = {Distributed agent-based automated theorem proving in order-sorted first-order logic},
  author = {Dohan Kim},
  year = {2016},
  url = {https://arxiv.org/abs/1609.02320},
  note = {Source identifier: 1609.02320}
}