• Немонолитная логика эталонных процессовTepandi, JaakПрименение методов математической логики : IV всесоюзная конференция : секция "Логика взаимодействующих процессов" : секция "Алгоритмика трудных задач" : тезисы докладов1986 / с. 71-73 https://www.ester.ee/record=b1246479*est
• О структурно-симметрических функцияхHenno, JaakПрименение методов математической логики : IV всесоюзная конференция : секция "Логика взаимодействующих процессов" : секция "Алгоритмика трудных задач" : тезисы докладов1986 / с. 187-188 https://www.ester.ee/record=b1246479*est
• Об одном методе автоматической генерации утверждений по примерамVõhandu, LeoПрименение методов математической логики : IV всесоюзная конференция : секция "Логика взаимодействующих процессов" : секция "Алгоритмика трудных задач" : тезисы докладов1986 / с. 54-55 : илл https://www.ester.ee/record=b1246493*est https://www.digar.ee/viewer/et/nlib-digar:914511/452305/page/56