1. Angluin, D.: Finding common patterns to a set of strings. In: Proceedings of the 11th Annual Symposium on Theory of Computing, pp. 130–141 (1979)
2. Angluin, D.: Finding patterns common to a set of strings. Journal of Computer System Sciences 21, 46–62 (1980)
3. Angluin, D.: Inductive inference of formal languages from positive data. Information and Control 45, 117–135 (1980)
4. Barzdin, J.: Inductive inference of automata, functions and programs. In: Proceedings International Congress of Math., Vancouver, pp. 455–460 (1974)
5. Buszkowski, W.: Discovery procedures for categorial grammars. In: Klein, E., van Benthem, J. (eds.) Categories, Polymorphism and Unification, University of Amsterdam (1987)