@misc{indiciae2267f5b8722f,
  title = {OCR extensions - local identifiers, labeled GUIDs, file IO, and data block partitioning},
  author = {Jiri Dokulil and Siegfried Benkner},
  year = {2015},
  url = {https://arxiv.org/abs/1509.03161},
  note = {Source identifier: 1509.03161}
}