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