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