A new approach to solving algebraic systems by means of sub-definite models. - Alexander S. Narin'yani; Alexander L. Semenov; Alexander B. Babichev; Tamara P. Kashevarova; Alexander S. Leshchenko (System Modelling and Optimization, 1993)

Subdefinite Computations and Symbolic Transformations in the UniCalc Solver. - Alexander L. Semenov; Alexander B. Babichev; Alexander S. Leshchenko (AISMC, 1994)

Combining Various Techniques with the Algorithm of Subdefinite Calculations. - Alexander L. Semenov; Tamara P. Kashevarova; Alexander S. Leshchenko; D. Petunin (PACT, 1997)

A Model of Cooperative Solvers for Computational Problems. - Alexander Kleymenov; D. Petunin; Alexander L. Semenov; I. Vazhev (PPAM, 2001)

The Use of the Cooperative Solver SibCalc in Modeling of Complex Problems. - Tamara P. Kashevarova; Alexander L. Semenov (International Conference on Computational Science, 2003)