publication venue for Inference of Residual Finite-State Tree Automata from Membership Queries and Finite Positive Data 2011