“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, Accessed: Jan. 11, 2026. [Online]. Available: https://annual.uni-sofia.bg/index.php/fmi/article/view/278