Скобелев, В. (2013). Проблема проверки выполнимости формул разрешимых теорий (обзор). Труды Института прикладной математики и механики.
Чикаго стиль цитування (17-те видання)Скобелев, В.В. "Проблема проверки выполнимости формул разрешимых теорий (обзор)." Труды Института прикладной математики и механики 2013.
Стиль цитування MLA (8-ме видання)Скобелев, В.В. "Проблема проверки выполнимости формул разрешимых теорий (обзор)." Труды Института прикладной математики и механики, 2013.
Попередження: стилі цитування не завжди правильні на всі 100%.