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