1999. Knowledge representation and problem solving in the intelligent computer algebra system STRAMS. Annual of Sofia University St. Kliment Ohridski. Faculty of Mathematics and Informatics. 91, (Dec. 1999), 193–202.