Johannes Kanig

	2009
2		Romain Bardou, Jean-Christophe Filliâtre, Johannes Kanig, Stéphane Lescuyer: Faire bonne figure avec Mlpost. JFLA 2009: 477-507
	2008
1		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)

Coauthor Index

1	Romain Bardou	[2]
2	Sylvain Conchon	[1]
3	Evelyne Contejean	[1]
4	Jean-Christophe Filliâtre	[2]
5	Stéphane Lescuyer	[1] [2]