Nisheva-Pavlova, M. 1999. Knowledge representation and problem solving in the intelligent computer algebra system STRAMS. Ann. Sofia Univ. Fac. Math. and Inf. 91, (Dec. 1999), 193–202.