%0 Journal Article
%A V. N. Krupski
%T On symbolic models for Single-Conclusion Logic of Proofs
%J Sbornik. Mathematics
%D 2011
%P 683-695
%V 202
%N 5
%U http://geodesic.mathdoc.fr/item/SM_2011_202_5_a3/
%G en
%F SM_2011_202_5_a3