Guarded Ord-Horn: A Tractable Fragment of Quantified Constraint Satisfaction | Publicación