А. А. Зуенко, П. А. Ломов, и А. Г. Олейник, Применение методов распространения ограничений для ускорения обработки запросов к онтологиям, ТС, т. 1, вып. 50, сс. 112-136, фев. 2017.