@COMMENT This file was generated by bib2html.pl version 0.94
@COMMENT written by Patrick Riley
@misc{avoteD31,
author = {Kremer, Steve},
howpublished = {Deliverable AVOTE~2.3, (ANR-07-SESU-002)},
month = jan,
note = {96~pages},
type = {Contract Report},
title = {Implementation of prototypes for equivalence properties},
year = {2012},
nmonth = {1},
url = {http://www.lsv.ens-cachan.fr/Projects/anr-avote/RAPPORTS/deliv2-3.pdf},
}