Анисимов, А., Джебелян, Т., Лялецкий, А., & Попов, Н. (2011). Системы Theorema и автоматизация дедукции: сравнительный анализ. Управляющие системы и машины.
Чикаго стиль цитування (17-те видання)Анисимов, А.В, Т Джебелян, А.В Лялецкий, та Н Попов. "Системы Theorema и автоматизация дедукции: сравнительный анализ." Управляющие системы и машины 2011.
Стиль цитування MLA (8-ме видання)Анисимов, А.В, et al. "Системы Theorema и автоматизация дедукции: сравнительный анализ." Управляющие системы и машины, 2011.
Попередження: стилі цитування не завжди правильні на всі 100%.