@article{SMZ_2007__48_2_55566,
     author = {Rutskij, A.N.},
     title = {An admissibility criterion for inference rules with metavariables in the modal logic {S4.}},
     journal = {Sibirskij Matematicheskij Zhurnal},
     pages = {396},
     publisher = {mathdoc},
     volume = {48},
     number = {2},
     year = {2007},
     zbl = {1164.03303},
     language = {en},
     url = {https://geodesic-test.mathdoc.fr/item/SMZ_2007__48_2_55566/}
}