1. Angluin, D.: Inductive inference of formal languages from positive data. Inf. Control 45, 117–135 (1980)
2. Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press (2003)
3. Bar-Hillel, Y.: A quasi arithmetical notation for syntactic description. Language 29, 47–58 (1953)
4. Béchet, D.: k-valued link grammars are learnable from strings. In: Jäger, G., Monachesi, P., Penn, G., Wintner, S. (eds.) Proceedings of the 8th conference on Formal Grammar (FGVienna), Vienna, Austria, pp. 9–18 (2003)
5. Lecture Notes in Computer Science,2005