@MISC{BCIALG_1.MIZ,
  AUTHOR = {Ding, Yuzhong},
  TITLE = {Several Classes of {BCI}-algebras and Their Properties},
  SECTION1 = {The Basics of General Theory of BCI-algebras},
  SECTION2 = {associative {BCI}-algebras},
  SECTION3 = {p-Semisimple {BCI}-algebras},
  SECTION4 = {Quasi-Associative {BCI}-algebras},
  SECTION5 = {Alternative {BCI}-algebras},
  SECTION6 = {Implicative & Positive-Implicative & Weakly-Positive-Implicative {BCI}-algebras},
  DAY = {23},
  MONTH = {February},
  YEAR = {2007},
  ADDRESS1 = {Department of Computing Science\\Qingdao University of Science and Technology},
  SUMMARY = {I have formalized the BCI-algebras closely following the
  book \cite{BCIAlgebras},sections 1.1 to 1.3,1.6,2.1 to 2.3 and 2.7.
  In this article the general theory of {BCI}-algebras and several
  classes of {BCI}-algebras are given.}}

@BOOK{BCIAlgebras,
       AUTHOR = {Meng, Jie and Liu, YoungLin},
        TITLE = {An Introduction to {BCI}-algebras},
    PUBLISHER = {Shaanxi Scientific and Technological Press},
         YEAR = {2001}}
