@InProceedings{DiazcaroPerdrixTassonValironHOR10,
	Title = "Evalence of Algebraic $\lambda$-calculi",
	Author = "Alejandro D{\'\i}az-Caro and Simon Perdrix and Christine Tasson and Beno{\^\i}t Valiron",
	Pages = "6--11",
	Year = "2010",
	Month = jul # "~14,",
	Booktitle = "Proceedings of the 5th International Workshop on Higher-Order Rewriting, {HOR}-2010",
	Address = "Edinburgh, UK",
	note = "Preprint at {\tt arXiv:1005.2897}"
}