ЧЖОУ, Цзюань; КОСОВСКАЯ, Татьяна Матвеевна. Алгоритм выделения общих свойств объектов, описанных на языке исчисления предикатов с одним предикатным символом. Вестник Санкт-Петербургского университета. Математика. Механика. Астрономия, [S. l.], v. 11, n. 4, p. 733–743, 2024. DOI: 10.21638/spbu01.2024.409. Disponível em: https://math-mech-astr-journal.spbu.ru/article/view/20540. Acesso em: 25 апр. 2025.