Stéphane Lescuyer

	2009
4		Stéphane Lescuyer, Sylvain Conchon: Improving Coq Propositional Reasoning Using a Lazy CNF Conversion Scheme. FroCos 2009: 287-303
3		Romain Bardou, Jean-Christophe Filliâtre, Johannes Kanig, Stéphane Lescuyer: Faire bonne figure avec Mlpost. JFLA 2009: 477-507
	2008
2		Sylvain Conchon, Evelyne Contejean, Johannes Kanig, Stéphane Lescuyer: CC(X): Semantic Combination of Congruence Closure with Solvable Theories. Electr. Notes Theor. Comput. Sci. 198(2): 51-69 (2008)
	2007
1		Jean-François Couchot, Stéphane Lescuyer: Handling Polymorphism in Automated Deduction. CADE 2007: 263-278

Coauthor Index

1	Romain Bardou	[3]
2	Sylvain Conchon	[2] [4]
3	Evelyne Contejean	[2]
4	Jean-François Couchot	[1]
5	Jean-Christophe Filliâtre	[3]
6	Johannes Kanig	[2] [3]

Colors in the list of coauthors