Косовская, Татьяна Матвеевна, и Николай Николаевич Косовский. 2020. «Полиномиальная эквивалентность задач изоморфизм предикатных формул и изоморфизм графов». Вестник Санкт-Петербургского университета. Математика. Механика. Астрономия 6 (3):430-39. https://math-mech-astr-journal.spbu.ru/article/view/8399.