APA (7th ed.) Citation

Анисимов, А., Джебелян, Т., Лялецкий, А., & Попов, Н. (2011). Системы Theorema и автоматизация дедукции: сравнительный анализ. Управляющие системы и машины.

Chicago Style (17th ed.) Citation

Анисимов, А.В, Т Джебелян, А.В Лялецкий, and Н Попов. "Системы Theorema и автоматизация дедукции: сравнительный анализ." Управляющие системы и машины 2011.

MLA (8th ed.) Citation

Анисимов, А.В, et al. "Системы Theorema и автоматизация дедукции: сравнительный анализ." Управляющие системы и машины, 2011.

Warning: These citations may not always be 100% accurate.