publication venue for Inference of Residual Finite-State Tree Automata from Membership Queries and Finite Positive Data 2011
proceedings of Developments in Language Theory : 15th International Conference, DLT 2011, Milan, Italy, July 19-22, 2011 Conference