Telefona gönder: Контроль логических выводов в семантических базах данных; Известия Томского политехнического университета [Известия ТПУ]; Т. 321, № 5 : Управление, вычислительная техника и информатика