Favier, A., de Givry, S., & Jégou, P. (2011). Solution Counting for CSP and SAT with Large Tree-Width. Управляющие системы и машины.
Чикаго стиль цитування (17-те видання)Favier, A., S. de Givry, та P. Jégou. "Solution Counting for CSP and SAT with Large Tree-Width." Управляющие системы и машины 2011.
Стиль цитування MLA (8-ме видання)Favier, A., et al. "Solution Counting for CSP and SAT with Large Tree-Width." Управляющие системы и машины, 2011.
Попередження: стилі цитування не завжди правильні на всі 100%.