Kosta Dosen Zoran Petric Generality of proofs and its Brauerian representation. 740-750 2003 68 J. Symb. Log. 3 db/journals/jsyml/jsyml68.html#DosenP03