1. Amblard, M.: Calculs de représentations sémantiques et syntaxe générative: les grammaires minimalistes catégorielles. PhD thesis, Université Sciences et Technologies - Bordeaux I (September 2007)
2. Amblard, M., Lecomte, A., Retoré, C.: Categorial minimalist grammars: From generative grammar to logical form. Linguistic Analysis 36(1-4), 273–306 (2010)
3. Amblard, M., Retoré, C.: Natural deduction and normalisation for partially commutative linear logic and lambek calculus with product. In: Cooper, S.B., Kent, T.F., Löwe, B., Sorbi, A. (eds.) Computation and Logic in the Real World (Computing in Europe 2007). Quaderni del Dipartimento di Scienze Matematiche e Informatiche Roberto Magari, vol. ID487, pp. 28–35. Università degli Studi di Siena (September 2007)
4. Angluin, D.: Finding patterns common to a set of strings. Journal of Computer and Sytem Science 21(1), 46–62 (1980)
5. Angluin, D.: Inductive inference of formal languages from positive data. Information and Control 45, 117–135 (1980)