Knowledge Representation and Problem Solving in the Intelligent Computer Algebra System STRAMS. Ann. Sofia Univ. Fac. Math. and Inf. 1999, 91, 193-202.