@misc{indiciaef7859f118948,
  title = {Applying Prolog to Develop Distributed Systems},
  author = {Nuno P. Lopes and Juan A. Navarro and Andrey Rybalchenko and Atul Singh},
  year = {2010},
  doi = {10.1017/s1471068410000360},
  url = {https://arxiv.org/abs/1007.3835},
  note = {Source identifier: 1007.3835}
}