Косовская, Т.М. и Косовский, Н.Н. 2020. Полиномиальная эквивалентность задач изоморфизм предикатных формул и изоморфизм графов. Вестник Санкт-Петербургского университета. Математика. Механика. Астрономия. 6, 3 (авг. 2020), 430–439.