Романенко Игорь Борисович. Машинные методы построения вывода в некоторых неклассических исчислениях : Дис...канд.техн.наук: 05.25.05 / АН Украины. — К., 1992. — 122с.