Local Languages, the Succesor Method, and a Step Towards a General Methodology for the Inference of Regular Grammars | Publicación