Зуенко, А.А., Ломов, П.А., Олейник, А.Г.: Применение методов распространения ограничений для ускорения обработки запросов к онтологиям. Труды СПИИРАН 1(50), 112-136 (2017). doi:10.15622/sp.50.5