И. А. Рябинин, А. В. Струков, “Предисловие и вступительная статья к переизданию работы П.С. Порецкого «Решение общей задачи теории вероятностей при помощи математической логики»”, Тр. СПИИРАН, 43 (2015), 5–26
2013
2.
А. С. Можаев, А. А. Нозик, А. В. Струков, “Оценка надежности системы из элементов с тремя состояниями с использованием ПК АРБИТР”, Тр. СПИИРАН, 31 (2013), 123–146
