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