Alexander V. Lyaletski On Admissible Substitutions in Classical and Intuitionistic Sequent Logics. 49-58 2004 conf/iis/2004 Intelligent Information Systems db/conf/iis/iis2004.html#Lyaletski04