Charles Jordan Thomas Zeugmann Relational Properties Expressible with One Universal Quantifier Are Testable. 141-155 2009 SAGA http://dx.doi.org/10.1007/978-3-642-04944-6_12 conf/saga/2009 db/conf/saga/saga2009.html#JordanZ09