(1992). Logic programming and automated reasoning: International Conference LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : proceedings / A. Voronkov (ed.).
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Logic Programming and Automated Reasoning: International Conference LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : Proceedings / A. Voronkov (ed.). 1992.
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)Logic Programming and Automated Reasoning: International Conference LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : Proceedings / A. Voronkov (ed.). 1992.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.