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