@misc{indiciae7d87bdf972f9,
  title = {The parallel versus branching recurrences in computability logic},
  author = {Wenyan Xu and Sanyang Liu},
  year = {2011},
  doi = {10.1215/00294527-1731389},
  url = {https://arxiv.org/abs/1107.2284},
  note = {Source identifier: 1107.2284}
}