Charles Jordan, Thomas Zeugmann. Relational Properties Expressible with One Universal Quantifier Are Testable. In Osamu Watanabe, Thomas Zeugmann, editors, Stochastic Algorithms: Foundations and Applications, 5th International Symposium, SAGA 2009, Sapporo, Japan, October 26-28, 2009. Proceedings. Volume 5792 of Lecture Notes in Computer Science, pages 141-155, Springer, 2009. [doi]
Abstract is missing.