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