Чжоу, Ц.; Косовская, Т. М. Алгоритм выделения общих свойств объектов, описанных на языке исчисления предикатов с одним предикатным символом. Математика 2024, 11, 733-743.