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