TY  - RPRT
TI  - Distributed agent-based automated theorem proving in order-sorted first-order logic
AU  - Dohan Kim
PY  - 2016
UR  - https://arxiv.org/abs/1609.02320
ID  - 1609.02320
ER  -