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