Некоторые задачи искусственного интеллекта, допускающие формализацию на языке исчисления предикатов, и оценки числа шагов их решения - Косовская, Татьяна Матвеевна (Труды СПИИРАН, 2010)