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