Grammatical Inference: Algorithms and Applications : 5th International Colloquium, ICGI 2000, Lisbon, Portugal, September 11-13, 2000 Proceedings - Arlindo L. Oliveira ((Lecture Notes in Computer Science))