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