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)