摘要
理查德·法特曼（Richard Fateman），“合理简化非理性表达式”，SIGSAM Bulletin，第23期，1972年7月，8-9日。 谷歌学者 
数字图书馆 
乔尔·摩西（Joel Moses），“象征性融合：暴风雨的十年” 通信ACM，第14卷 第8期（1971年8月）。 548--560. 谷歌学者 数字图书馆 阿尔伯特·里奇（Albert Rich），“基于规则的数学”（Rubi） http://www.apmaths.uwo.ca/ ~阿里奇。 谷歌学者 James R.Slagle，“解决新生微积分中符号积分问题的启发式程序” J.ACM第10卷 第4期，1963年10月，507--520。 谷歌学者 数字图书馆
建议
用模糊理想构造商BCI（BCK）-代数 本文给出了商BCI（BCK）代数的一种新构造 X（X） /µ乘以模糊理想µin X（X） 建立了模糊同态基本定理。 我们证明了如果µ是 X（X） .然后 X（X） /µ是可交换的（。。。
