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