Денисов, А.С. 2007. Выполнимость ярких формул. Український математичний журнал. 59, 10 (Oct. 2007), 1432–1435.