Чжоу, Ц. и Косовская, Т.М. 2024. Алгоритм выделения общих свойств объектов, описанных на языке исчисления предикатов с одним предикатным символом. Вестник Санкт-Петербургского университета. Математика. Механика. Астрономия. 11, 4 (дек. 2024), 733–743. DOI:https://doi.org/10.21638/spbu01.2024.409.