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