%0 Journal Article %1 journals/fm/SunPWL08 %A Sun, Tao %A Pan, Weibo %A Wu, Chenglong %A Liang, Xiquan %D 2008 %J Formalized Mathematics %K dblp %N 1-4 %P 253-258 %T General Theory of Quasi-Commutative BCI-algebras. %U http://dblp.uni-trier.de/db/journals/fm/fm16.html#SunPWL08 %V 16

@article{journals/fm/SunPWL08, added-at = {2019-02-20T00:00:00.000+0100}, author = {Sun, Tao and Pan, Weibo and Wu, Chenglong and Liang, Xiquan}, biburl = {https://www.bibsonomy.org/bibtex/2d13fc227bca406637f7a3a885982e54d/dblp}, ee = {https://doi.org/10.2478/v10037-008-0030-2}, interhash = {d536214ff8a29b10626cbf998352b92e}, intrahash = {d13fc227bca406637f7a3a885982e54d}, journal = {Formalized Mathematics}, keywords = {dblp}, number = {1-4}, pages = {253-258}, timestamp = {2019-02-21T11:39:25.000+0100}, title = {General Theory of Quasi-Commutative BCI-algebras.}, url = {http://dblp.uni-trier.de/db/journals/fm/fm16.html#SunPWL08}, volume = 16, year = 2008 }