Thèse de doctorat de l'INPL : Constructions d'ordres et analyse de la complexité pdf et ps .
Guillaume Bonfante, Adam Cichon, Jean-Yves Marion et Hélène Touzet. Complexity classes and rewrite systems with polynomial interpretation Présenté a CSL'98, LNCS 1584
Guillaume Bonfante, Adam Cichon, Jean-Yves Marion et Hélène Touzet. Algorithms with polynomial interpretation termination proof .JFP 41 (0), 2001.
Guillaume Bonfante, Jean-Yves Marion et Jean-Yves Moyen On lexicographic termination ordering with space bound certificationsPSI, 2001.
Guillaume Bonfante et Philippe de Groote, Stochastic Lambek categorial grammars FGMOL, 2001, Helsinki.
Guillaume Bonfante, Bruno Guillaume et Guy Perrier, Analyse syntaxique électrostatique, Traitement Automatique des Langues. Volume 44 - no3 2003
Guillaume Bonfante, Jean-Yves Marion et Jean-Yves Moyen, On complexity analysis by quasi-interpretation, APPSEM '04, Tallinn. 2004
Guillaume Bonfante, Bruno Guillaume et Guy Perrier, Polarization and abstraction of grammatical formalisms as methods for lexical disambiguation, COLING'04. Geneve. 2004