Naoki Abe Polynomial Learnability of Semilinear Sets. 25-40 1989 COLT http://portal.acm.org/citation.cfm?id=93335.93340 db/conf/colt/colt1989.html#Abe89