Smirnov I. V., Sochenkov I. V., Muravyev V. V. Results of the search algorithm Exactus // Theses of the reports of the XLV All-Russian Conference on Mathematics, Informatics, Physics and Chemistry. Russia, M.: RUDN 2009. P. 143-144.