Yuichi Komori Sachio Hirokawa The Number of Proofs for a BCK-Formula. 626-628 1993 58 J. Symb. Log. 2 db/journals/jsyml/jsyml58.html#KomoriH93 http://projecteuclid.org/euclid.jsl/1183744250