@misc{indiciaebbc0e0384fe8,
  title = {Soundness and completeness of the cirquent calculus system CL6 for computability logic},
  author = {Wenyan Xu and Sanyang Liu},
  year = {2011},
  url = {https://arxiv.org/abs/1106.2272},
  note = {Source identifier: 1106.2272}
}