توثيق جمعية علم النفس الأمريكية APA (الطبعة السابعة)

Zinovik, I., Kroening, D., & Chebiryak, Y. (2015). Computing Binary Combinatorial Gray Codes via Exhaustive Search with SAT−Solvers.

توثيق أسلوب شيكاغو (الطبعة السابعة عشر)

Zinovik, I., D. Kroening, و Y. Chebiryak. Computing Binary Combinatorial Gray Codes via Exhaustive Search with SAT−Solvers. 2015.

توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)

Zinovik, I., et al. Computing Binary Combinatorial Gray Codes via Exhaustive Search with SAT−Solvers. 2015.