T. Kosovskaya, “Some artificial intelligence problems permitting formalization by means of predicate calculus language and upper bounds of their solution steps”, SP, vol. 3, no. 14, pp. 58-75, Sep. 2010.