TY  - RPRT
TI  - Distributed First Order Logic
AU  - Chiara Ghidini
AU  - Luciano Serafini
PY  - 2017
DO  - 10.1016/j.artint.2017.08.008
UR  - https://arxiv.org/abs/1507.07755
ID  - 1507.07755
ER  -