Отпущенников И. В. Пропозициональное кодирование прямых и обратных раундовых преобразований в атаках на некоторые блочные шифры / И. В. Отпущенников, А. А. Семенов, О. С. Заикин // Прикладная дискретная математика. Приложение. 2018. № 11. С. 76-79. URL: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000632887