KOSOVSKAYA, T. Some artificial intelligence problems permitting formalization by means of predicate calculus language and upper bounds of their solution steps. SPIIRAS Proceedings, v. 3, n. 14, p. 58-75, 1 set. 2010.