@misc{indiciaec786805dd70c,
  title = {Towards Distributed Logic Programming based on Computability Logic},
  author = {Keehang Kwon},
  year = {2022},
  url = {https://arxiv.org/abs/1909.07036},
  note = {Source identifier: 1909.07036}
}