Hicham Bensaid

	2009
2		Hicham Bensaid, Ricardo Caferra, Nicolas Peltier: Dei: A Theorem Prover for Terms with Integer Exponents. CADE 2009: 146-150
	2007
1		Hicham Bensaid, Ricardo Caferra, Nicolas Peltier: Towards Systematic Analysis of Theorem Provers Search Spaces: First Steps. WoLLIC 2007: 38-52

Coauthor Index

1	Ricardo Caferra	[1] [2]
2	Nicolas Peltier	[1] [2]