Bibtex de la publication

@Proceedings{ Ma2007.8,
editor = {Matthes, Ralph},
title = "{4th International Workshop on Higher-Order Rewriting, Paris, 25/06/2007 - 25/06/2007}",
year = {2007},
month = {juin},
publisher = {IRIT},
address = {http://www.irit.fr/},
language = {anglais},
URL = {http://www.irit.fr/~Ralph.Matthes/HOR/Proceedings.pdf}
}