@misc{indiciaefe61973a5336,
  title = {On the toggling-branching recurrence of Computability Logic},
  author = {Meixia Qu and Junfeng Luan and Daming Zhu},
  year = {2012},
  url = {https://arxiv.org/abs/1207.1188},
  note = {Source identifier: 1207.1188}
}