@misc{indiciaeb9cdc0dcbc76, title = {A new face of the branching recurrence of computability logic}, author = {Giorgi Japaridze}, year = {2011}, doi = {10.1016/j.aml.2011.11.023}, url = {https://arxiv.org/abs/1102.1054}, note = {Source identifier: 1102.1054} }