@article{towardsdistributedlogicprogrammingbased,
  title = {Towards Distributed Logic Programming based on Computability Logic},
  author = {Keehang Kwon},
  year = {2019},
  eprint = {1909.07036},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/1909.07036v3},
}