@misc{indiciae277365d1b892,
  title = {Strategies in PRholog},
  author = {Besik Dundua and Temur Kutsia and Mircea Marin},
  year = {2010},
  doi = {10.4204/eptcs.15.3},
  url = {https://arxiv.org/abs/1001.4434},
  note = {Source identifier: 1001.4434}
}