"Ken-Etsu Fujita,Ryo Kashima,Yuichi Komori,Naosuke Matsuda","Reduction Rules for Intuitionistic ƒÉƒÏ-calculus",,"Studia Logica",,"Vol. 103","No. 6","pp. 1225-1244",2015,