Чжоу, Цзюань, и Татьяна Матвеевна Косовская. «Алгоритм выделения общих свойств объектов, описанных на языке исчисления предикатов с одним предикатным символом». Вестник Санкт-Петербургского университета. Математика. Механика. Астрономия 11, no. 4 (декабрь 28, 2024): 733–743. просмотрено апрель 25, 2025. https://math-mech-astr-journal.spbu.ru/article/view/20540.