КОСОВСКАЯ, Т. М. Некоторые задачи искусственного интеллекта, допускающие формализацию на языке исчисления предикатов, и оценки числа шагов их решения. Труды СПИИРАН, v. 3, n. 14, p. 58-75, 1 set. 2010.