@misc{weko_149043_1,
   title	 = "A-022 Relational Properties Expressible with One Universal Quantifier are Testable (Extended Abstract)",
   month	 = "aug",
   year 	 = "2009"
}