Nisheva-Pavlova, M. 1998. KAM - A KNOWLEDGE-BASED TOOL FOR DEVELOPING COMPUTER ALGEBRA SYSTEMS. Ann. Sofia Univ. Fac. Math. and Inf. 90, (Dec. 1998), 165–176.