Kosovskaya, T.: Some artificial intelligence problems permitting formalization by means of predicate calculus language and upper bounds of their solution steps. SPIIRAS Proceedings 3(14), 58-75 (2010). doi:10.15622/sp.14.4