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