Bibtex de la publication

@InProceedings{ HuPa2005.3,
author = {Hurault, Aurélie and Pantel, Marc},
title = "{Mathematical Service Trading Based on Equational Matching}",
booktitle = "{Calculemus'05: 12th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Newcastle, 18/07/2005-22/07/2005}",
year = {2005},
month = {juillet},
publisher = {Electronic Notes in Theoretical Computer Science},
pages = {},
note = { Pages de la publication : Toappear.}
}