publication venue for Learning Residual Finite-State Automata Using Observation Tables. 31:205-212. 2010