Люлькин, А. Е.     Функциональная варификация дискретных устройств с использованием логического программирования [Текст] / А.Е. Люлькин // Управляющие системы и машины  : междунар. научный журнал / НАН Украины. Междунар.науч.-учеб.центр информ.технологий и систем. Ин-т киберн.им.В.М.Глушкова. — С. 38-45.