Wilmer Ricciotti

	2009
2		Andrea Asperti, Wilmer Ricciotti, Claudio Sacerdoti Coen, Enrico Tassi: Hints in Unification. TPHOLs 2009: 84-98
	2008
1		Andrea Asperti, Wilmer Ricciotti: About the Formalization of Some Results by Chebyshev in Number Theory. TYPES 2008: 19-31

Coauthor Index

1	Andrea Asperti	[1] [2]
2	Claudio Sacerdoti Coen	[2]
3	Enrico Tassi	[2]