@MISC{BCIALG_2.MIZ,
  AUTHOR = {Ding, Yuzhong and Pang, Zhiyong},
  TITLE = {Congruences and Quotient Algebras of {BCI}-algebras},
  SECTION1 = {Basic Properties of the Element},
  SECTION2 = {Congruences and Quotient Algebras},
  DAY = {28},
  MONTH = {August},
  YEAR = {2007},
  ADDRESS1 = {Department of Computing Science\\Qingdao University of Science and Technology},
  ADDRESS2 = {Department of Computing Science\\Qingdao University of Science and Technology},
  SUMMARY = {We have formalized the BCI-algebras closely following the
  book \cite{BCIAlgebras2}, P16-P19 and P58-65.
  In this article the properties of the element are firstly talked about,
  and then the definition and properties of congruences and quotient
  algebras are given. And the quotient algebras are a basic tool
  for exploring the structures of {BCI}-algebras.}}

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