@article{BSL4_3_Rogava,
author = {Memed Rogava},
title = {Cut Elimination in $SCI$},
journal = {Bulletin of the Section of Logic},
volume = {4},
number = {3},
year = {1975},
pages = {119--124}
}