Guarded Ord-Horn: A Tractable Fragment of Quantified Constraint Satisfaction | IEEE Conference Publication | IEEE Xplore