Zinovik, I., Kroening, D., & Chebiryak, Y. (2015). Computing Binary Combinatorial Gray Codes via Exhaustive Search with SAT−Solvers.
Trích dẫn kiểu Chicago (xuất bản lần thứ 7)Zinovik, I., D. Kroening, và Y. Chebiryak. Computing Binary Combinatorial Gray Codes via Exhaustive Search with SAT−Solvers. 2015.
Trích dẫn kiểu MLA (xuất bản lần thứ 9)Zinovik, I., et al. Computing Binary Combinatorial Gray Codes via Exhaustive Search with SAT−Solvers. 2015.
Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.