Matthias Ott Frank Stephan The Complexity of Learning Branches and Strategies from Queries. 283-292 1997 conf/isaac/1997 ISAAC db/conf/isaac/isaac97.html#OttS97 http://dx.doi.org/10.1007/3-540-63890-3_31