Чжоу Ц, Косовская ТМ. Алгоритм выделения общих свойств объектов, описанных на языке исчисления предикатов с одним предикатным символом. Математика [Интернет]. 28 декабрь 2024 г. [цитируется по 25 апрель 2025 г.];11(4):733-4. доступно на: https://math-mech-astr-journal.spbu.ru/article/view/20540