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