Zinovik, I., Kroening, D., & Chebiryak, Y. (2015). Computing Binary Combinatorial Gray Codes via Exhaustive Search with SAT−Solvers.
Цитирование в стиле Чикаго (17-е изд.)Zinovik, I., D. Kroening, и Y. Chebiryak. Computing Binary Combinatorial Gray Codes via Exhaustive Search with SAT−Solvers. 2015.
Цитирование MLA (9-е изд.)Zinovik, I., et al. Computing Binary Combinatorial Gray Codes via Exhaustive Search with SAT−Solvers. 2015.
Предупреждение: эти цитированмия не могут быть всегда правильны на 100%.