@MISC{BCIALG_4.MIZ,
  AUTHOR = {Sun, Tao and Zhao, Junjie and Liang, Xiquan},
  TITLE = {BCI-Algebras with Condition (S) and Their Properties},
  SECTION1 = {Definition and Elementary Properties},
  SECTION2 = {Commutative BCK-Algebras with Condition (S)},
  SECTION3 = {Positive-Implicative BCK-Algebras with Condition (S)},
  SECTION4 = {Implicative BCK-Algebras with Condition (S)},
  DAY = {24},
  MONTH = {November},
  YEAR = {2007},
  ADDRESS1 = {Department of Mathematics and Physics\\
           Qingdao University of Science and Technology\\China},
  ADDRESS2 = {Department of Mathematics and Physics\\
           Qingdao University of Science and Technology\\China},
  ADDRESS3 = {Department of Mathematics and Physics\\
           Qingdao University of Science and Technology\\China},
  SUMMARY = {In this article we will first investigate the elementary properties
            of BCI-Algebras with condition (S) \cite{BCIAlgebras}.
            And then we will discuss the three
            classes of algebras: commutative positive-implicative
            and implicative BCK-algebras with condition (S).}}

@BOOK{BCIAlgebras,
       AUTHOR = {Huang, Yisheng},
        TITLE = {BCI-algebra},
    PUBLISHER = {Science Press},
         YEAR = {2006}}
