Алфимов Р.В. Полиномиальный алгоритм для задачи выполнимости булевой формулы / Р. В. Алфимов, 1995. - 15 c. - Текст : непосредственный.
Алфимов Р.В. Система автоматизированной поддержки принятия решения при проведении валютных операций в реальном масштабе времени : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.06 / Р. В. Алфимов, 1997. - 22 с. - Текст : непосредственный.