Всесоюзная конференция по прикладной логике, Новосибирск, 22-24 октября 1985 г. тезисы докладов - Мальцев А. А. (Новосибирск, Изд-во ИМ, 1985)