@misc{indiciaec14bee7cdae6, title = {Generality of Proofs and its Brauerian Representation}, author = {K. Dosen and Z. Petric}, year = {2016}, url = {https://arxiv.org/abs/math/0211090}, note = {Source identifier: math/0211090} }