@article{RM_1987_42_6_a8,
     author = {L. D. Beklemishev},
     title = {Normalization of deductions and interpolation for some logics of provability},
     journal = {Trudy Matematicheskogo Instituta imeni V.A. Steklova},
     pages = {223--224},
     publisher = {mathdoc},
     volume = {42},
     number = {6},
     year = {1987},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/RM_1987_42_6_a8/}
}