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