Nisheva-Pavlova, Maria. 1999. “Knowledge Representation and Problem Solving in the Intelligent Computer Algebra System STRAMS”. Ann. Sofia Univ. Fac. Math. And Inf. 91 (December):193-202. https://annual.uni-sofia.bg/index.php/fmi/article/view/278.