1. Kosovskaya T. Some artificial intelligence problems permitting formalization by means of predicate calculus language and upper bounds of their solution steps // SPIIRAS Proceedings. 2010. № 14 (3). C. 58-75.