A Basis in Semi-Reduced Form for the Admissible Rules of the Intuitionistic Logic IPC. - Vladimir V. Rybakov; Mehmet Terziler; Vitaliy Remazki (Math. Log. Q., 2000)