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