Косовская, Т.М. 2010. Некоторые задачи искусственного интеллекта, допускающие формализацию на языке исчисления предикатов, и оценки числа шагов их решения. Труды СПИИРАН. 3, 14 (сен. 2010), 58-75. DOI:https://doi.org/10.15622/sp.14.4.