ByNobleID
    Computational methods in the study of finite BCK-algebras with low orders | NobleID