Osamu Watanabe Ricard Gavaldà Structural Analysis of Polynomial-Time Query Learnability. 231-256 1994 27 3 Mathematical Systems Theory db/journals/mst/mst27.html#WatanabeG94