Nisheva-Pavlova, M. (1999). Knowledge representation and problem solving in the intelligent computer algebra system STRAMS. Ann. Sofia Univ. Fac. Math. And Inf., 91, 193–202. Retrieved from https://ftl5.uni-sofia.bg/index.php/fmi/article/view/278