Формальные и неформальные рассуждения : [сборник статей] / редколлегия И. Сильдмяэ. — Тарту : [б. и.], 1989. — 183, [1] с. — (Ученые записки Тартуского государственного университета ; вып. 840. Труды по искусственному интеллекту) - Сильдмяэ, И. Я.; Тартуский государственный университет (Ученые записки Тартуского государственного университета, 1989)