Non-uniqueness of normal proofs for minimal formulas in implication-conjunction fragment of BCK

Bulletin of the Section of Logic, Tom 23, Numer 3 (1994) s. 104-112
Takahito Aoto, Hiroakira Ono