Kosovskaya, T.M. and Kosovskii, N.N. 2020. Polynomial equivalence of the problems predicate formulas isomorphism and graph isomorphism. Vestnik of Saint Petersburg University. Mathematics. Mechanics. Astronomy. 6, 3 (Aug. 2020), 430–439.