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