а кн.: Всесоюзная конференция. Методы математической логики в проблемах искусственного интеллекта и систематическое программирование, Паланга, 3-5 сент

http://libmeta.ru/resource/mathenc/publication/p10354