Looking Algebraically at Tractable Quantified Boolean Formulas | Publicación