From formulas to cirquents in computability logic

Giorgi Japaridze From formulas to cirquents in computability logic http://arxiv.org/abs/0906.2154 2009 CoRR abs/0906.2154 db/journals/corr/corr0906.html#abs-0906-2154 informal publication