Михайлов А. И. (1979). Вып. 12: Методы логики в проблемах искусственного интеллекта и информатики. 1979.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Михайлов А. И. Вып. 12: Методы логики в проблемах искусственного интеллекта и информатики. 1979, 1979.
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)Михайлов А. И. Вып. 12: Методы логики в проблемах искусственного интеллекта и информатики. 1979, 1979.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.