@article{SMZ_2007__48_2_55565,
     author = {Fedorishin, B.R.},
     title = {An explicit basis for the admissible inference rules in the {G\"odel-L\"ob} logic {GL.}},
     journal = {Sibirskij Matematicheskij Zhurnal},
     pages = {423},
     publisher = {mathdoc},
     volume = {48},
     number = {2},
     year = {2007},
     zbl = {1164.03302},
     language = {en},
     url = {https://geodesic-test.mathdoc.fr/item/SMZ_2007__48_2_55565/}
}