Jeavons, P., & Petke, J. (2012). Local consistency and SAT−solvers.
Чикаго стиль цитування (17-те видання)Jeavons, P., та J. Petke. Local Consistency and SAT−solvers. 2012.
Стиль цитування MLA (9-ме видання)Jeavons, P., та J. Petke. Local Consistency and SAT−solvers. 2012.
Попередження: стилі цитування не завжди правильні на всі 100%.