Régis Curien

	1996
3		Amedeo Napoli, Jean Lieber, Régis Curien: Classification-Based Problem-Solving in Case-Based Reasoning. EWCBR 1996: 295-308
2		Régis Curien, Zhenyu Qian, Hui Shi: Efficient Second-Order Matching. RTA 1996: 317-331
	1993
1		Régis Curien: Second Order E-Matching as a Tool for Automated Theorem Proving. EPIA 1993: 242-257

Coauthor Index

1	Jean Lieber	[3]
2	Amedeo Napoli	[3]
3	Zhenyu Qian	[2]
4	Hui Shi	[2]

Colors in the list of coauthors