%0 Journal Article %A Wasilewska, Anita %D 1984 %I Springer %J Studia Logica %N 4 %P 395 - 404 %T DFC-algorithms for Suszko logic and one-to-one Gentzen type formalizations %V 43