11-1: A. KasprzikLearning residual finite-state tree automata from membership queries and finite positive data