Анисимов, А., Джебелян, Т., Лялецкий, А., & Попов, Н. (2011). Системы Theorema и автоматизация дедукции: сравнительный анализ. Управляющие системы и машины.
Chicago-Zitierstil (17. Ausg.)Анисимов, А.В, Т Джебелян, А.В Лялецкий, und Н Попов. "Системы Theorema и автоматизация дедукции: сравнительный анализ." Управляющие системы и машины 2011.
MLA-Zitierstil (8. Ausg.)Анисимов, А.В, et al. "Системы Theorema и автоматизация дедукции: сравнительный анализ." Управляющие системы и машины, 2011.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.