@STRING{igm_electronic={electronic version} }

@STRING{igm_phddoc={Th\`ese de doctorat} }

@STRING{igma	= {I.G.M., Universit\'e de Marne-la-Vall\'ee} }

@STRING{igma_acmp={ACM Press} }

@STRING{igma_elsev={Elsevier} }

@STRING{igma_shortlncs={LNCS} }

@STRING{igma_spver={Springer-Verlag} }


@Article{	  IGMA_ForDurRou05,
  author	= {Forax, R\'emi and Duris, Etienne and Roussel, Gilles},
  title		= {{Reflection-based implementation of Java extensions: the double-dispatch use-case}},
  journal	= {Journal of Object Technology},
  year		= {2005},
  volume	= {4},
  number	= {10},
  pages		= {49--69},
  url		= {http://www.jot.fm/issues/issue_2005_12/article3/},
  month		= dec,
  keywords	= {java},
  note		= { }
}


@Article{	  IGMA_ForDurRou04,
  author	= {Forax, R\'emi and Duris, Etienne and Roussel, Gilles},
  title		= {{A Reflective Implementation of Java Multi-Methods}},
  journal	= {IEEE Transactions on Software Engineering (TSE)},
  publisher	= {IEEE Press},
  year		= {2004},
  volume	= {30},
  number	= {12},
  pages		= {1055--1071},
  address	= {Piscataway, NJ, USA},
  pdf		= {http://www-igm.univ-mlv.fr/~duris/PUBLICATIONS/tse04-prelim.pdf},
  keywords	= {java},
  note		= { }
}


@Book{		  IGMA_RouDurBed02,
  author	= {Roussel, Gilles and Duris, Etienne and Bedon, Nicolas and Forax, R\'emi},
  title		= {{Java et Internet: concepts et programmation, Tome 1 : cot\'e client, 2eme \'edition}},
  publisher	= {Vuibert Informatique},
  year		= {2002},
  igmnbpages	= {848},
  month		= nov,
  address	= {Paris},
  pdf		= {http://www-igm.univ-mlv.fr/~roussel/vuibert/index.html},
  keywords	= {Network, Java},
  igmnote	= {ISBN : 2-7117-8689-7},
  note		= {ISBN : 2-7117-8689-7 (848 pp.)}
}


@Book{		  IGMA_RouDur00,
  author	= {Roussel, Gilles and Duris, Etienne},
  title		= {{Java et Internet: concepts et programmation}},
  publisher	= {Vuibert Informatique},
  year		= {2000},
  igmnbpages	= {576},
  month		= jan,
  address	= {Paris},
  pdf		= {http://www-igm.univ-mlv.fr/~roussel/vuibert.old/livre.html},
  keywords	= {Network, Java},
  igmnote	= {ISBN: 2-7117-8654-4},
  note		= {ISBN: 2-7117-8654-4 (576 pp.)}
}


@InProceedings{	  IGMA_CorDurPar98,
  author	= {Loic Correnson and Etienne Duris and Didier Parigot and Gilles Roussel},
  title		= {{{C}omposition {S}ymbolique}},
  booktitle	= {Actes des Journ\'ees Francophones des Langages Applicatifs (JFLA'98)},
  year		= {1998},
  editor	= {Stefano Cerri and Christian Queinnec},
  volume	= {17},
  series	= {Collection didactique},
  pages		= {47--68},
  address	= {Come, Italie},
  month		= feb,
  publisher	= {INRIA},
  pdf		= {http://www-igm.univ-mlv.fr/~duris/PUBLICATIONS/jfla98.ps.gz}
}


@InProceedings{	  IGMA_CorDurPar98c,
  author	= {Loic Correnson and Etienne Duris and Didier Parigot and Gilles Roussel},
  title		= {{{G}eneric {P}rogramming by {P}rogram {C}omposition (position paper)}},
  booktitle	= {Workshop on Generic Programming (WGP'98)},
  year		= {1998},
  address	= {Marstrand, Sweden},
  month		= jun,
  note		= {In conjunction with Mathematic for Program Construction (MPC'98). 13 pages},
  pdf		= {http://www-igm.univ-mlv.fr/~duris/PUBLICATIONS/wgp98.ps.gz}
}


@InProceedings{	  IGMA_CorDurPar98d,
  author	= {Loic Correnson and Etienne Duris and Didier Parigot and Gilles Roussel},
  title		= {{{S}ch\'ema g\'en\'erique de d\'eveloppement par composition}},
  booktitle	= {Approches Formelles dans l'Assistance au D\'eveloppement de Logiciel (AFADL'98)},
  year		= {1998},
  address	= {Poitiers, France},
  month		= sep,
  note		= {14 pages},
  pdf		= {ftp://ftp.inria.fr/INRIA/Projects/oscar/FNC-2/publications/Correnson98b.ps.gz}
}


@InProceedings{	  IGMA_CorDurPar97,
  author	= {Loic Correnson and Etienne Duris and Didier Parigot and Gilles Roussel},
  title		= {{{C}omposition {S}ymbolique}},
  booktitle	= {Actes des Journ\'ees du GDR de programmation},
  year		= {1997},
  address	= {Rennes, France},
  month		= nov,
  pdf		= {ftp://ftp.inria.fr/INRIA/Projects/oscar/FNC-2/publications/gdr97.ps.gz}
}


@InProceedings{	  IGMA_CorDurPar99b,
  author	= {Loic Correnson and {\'E}tienne Duris and Didier Parigot and Gilles Roussel},
  title		= {{{E}quational {S}emantics}},
  booktitle	= {6th International Symposium on Static Analysis (SAS '99)},
  year		= {1999},
  editor	= {Agostino Cortesi and Gilberto Fil\'e},
  volume	= {1694},
  series	= igma_shortlncs,
  pages		= {264-283},
  address	= {Venice, Italy},
  month		= sep,
  publisher	= igma_spver,
  pdf		= {http://www-igm.univ-mlv.fr/~duris/PUBLICATIONS/sas99.ps.gz}
}


@InProceedings{	  IGMA_CorDurPar99c,
  author	= {Loic Correnson and {\'E}tienne Duris and Didier Parigot and Gilles Roussel},
  title		= {{{D}eclarative {P}rogram {T}ransformation: {A} {D}eforestation {C}ase-{S}tudy}},
  booktitle	= {Principles and Practice of Declarative Programming, International Conference (PPDP'99)},
  year		= {1999},
  editor	= {Gopalan Nadathur},
  volume	= {1702},
  series	= igma_shortlncs,
  pages		= {360-377},
  address	= {Paris, France},
  month		= sep,
  publisher	= igma_spver,
  pdf		= {http://www-igm.univ-mlv.fr/~duris/PUBLICATIONS/ppdp99.ps.gz}
}


@InProceedings{	  IGMA_CorDurPar97b,
  author	= {Loic Correnson and {\'E}tienne Duris and Didier Parigot and Gilles Roussel},
  title		= {{{A}ttribute {G}rammars and {F}unctional {P}rogramming {D}eforestation}},
  booktitle	= {4th International Symposium on Static Analysis (SAS'97)},
  year		= {1997},
  editor	= {Van Hentenryck, Pascal},
  volume	= {1302},
  series	= igma_shortlncs,
  pages		= {365},
  month		= sep,
  publisher	= igma_spver,
  pdf		= {http://www-igm.univ-mlv.fr/~duris/PUBLICATIONS/sas97.ps.gz}
}


@InProceedings{	  IGMA_DelBedRou04,
  author	= {Christophe Deleray and Nicolas Bedon and Gilles Roussel and Etienne Duris},
  title		= {{{C}orosol une {JVM} modulaire param\'etrable \`a la vol\'ee}},
  booktitle	= {Langages et Mod\`eles \`a 0bjets (LMO'04)},
  year		= {2004},
  editor	= {Herm\`es},
  volume	= {10},
  series	= {L'objet},
  pages		= {89-102},
  address	= {Lille, France},
  month		= mar,
  publisher	= {Revue des Sciences et Technologies de l'Information},
  keywords	= {Java},
  pdf		= {http://www-igm.univ-mlv.fr/~bedon/Recherche/Biblio/Corosol1.shtml}
}


@InProceedings{	  IGMA_DelBedRou03,
  author	= {Christophe Deleray and Nicolas Bedon and Gilles Roussel and Etienne Duris and R\'emi Forax},
  title		= {{{M}y{JVM}: a 100% pure {J}ava parameterizable {J}ava virtual machine}},
  booktitle	= {Proceedings of the 2nd International Conference on the Principles and Practice of Programming in Java (PPPJ'03)},
  year		= {2003},
  pages		= {117-119},
  address	= {Kilkenny City, Ireland},
  month		= jun,
  publisher	= {ACM SIGAPP},
  note		= {Extended Abstract},
  keywords	= {Java},
  pdf		= {http://www-igm.univ-mlv.fr/~duris/PUBLICATIONS/pppj03.ps.gz}
}


@InProceedings{	  IGMA_DurParRou97,
  author	= {Etienne Duris and Didier Parigot and Gilles Roussel and Martin Jourdan},
  title		= {{{G}rammaires attribu\'ees et folds : op\'erateurs de contr\^ole g\'en\'eriques}},
  booktitle	= {Actes des Journ\'ees Francophones des Langages Applicatifs (JFLA'97)},
  year		= {1997},
  editor	= {Marc Gengler and Christian Queinnec},
  volume	= {16},
  series	= {Collection didactique},
  pages		= {1--20},
  address	= {Dolomieu, France},
  month		= jan,
  publisher	= {INRIA},
  pdf		= {http://www-igm.univ-mlv.fr/~duris/PUBLICATIONS/jfla97.ps.gz}
}


@InProceedings{	  IGMA_DurParRou96b,
  author	= {Etienne Duris and Didier Parigot and Gilles Roussel and Martin Jourdan},
  title		= {{{G}rammaires {A}ttribu\'ees et {F}olds: {O}p\'erateurs de {C}ontr\^ole {G}\'en\'eriques}},
  booktitle	= {Actes des Journ\'ees du GDR de programmation},
  year		= {1996},
  address	= {Orl\'eans},
  pdf		= {ftp://ftp.inria.fr/INRIA/Projects/oscar/FNC-2/publications/gdr96.ps.gz}
}


@InProceedings{	  IGMA_Dur97,
  author	= {{\'E}tienne Duris},
  title		= {{{F}unctional {P}rogramming and {A}ttribute {G}rammar {D}eforestation}},
  booktitle	= {Procedings of the International Conference on Functional Programming (ICFP'97) -- Poster Session},
  year		= {1997},
  pages		= {312},
  address	= {Amsterdam, The Netherlands},
  month		= jun,
  publisher	= igma_acmp,
  pdf		= {http://www-igm.univ-mlv.fr/~duris/PUBLICATIONS/icfp-poster97.ps.gz}
}


@InProceedings{	  IGMA_ParDurRou96,
  author	= {Didier Parigot and Etienne Duris and Gilles Roussel and Martin Jourdan},
  title		= {{{L}es grammaires attribu\'ees: un langage fonctionnel d\'eclaratif}},
  booktitle	= {Actes des Journ\'ees Francophones des Langages Applicatifs (JFLA'96)},
  year		= {1996},
  editor	= {Guy Lapalme and Christian Queinnec},
  volume	= {15},
  series	= {Collection didactique},
  pages		= {263--279},
  address	= {Val-Morin, Qu\'ebec},
  month		= jan,
  publisher	= {INRIA},
  pdf		= {ftp://ftp.inria.fr/INRIA/Projects/oscar/FNC-2/publications/jfla96.ps.gz}
}


@InProceedings{	  IGMA_ParDurRou95b,
  author	= {Didier Parigot and Etienne Duris and Gilles Roussel and Martin Jourdan},
  title		= {{{L}es grammaires attribu\'ees: un langage fonctionnel d\'eclaratif}},
  booktitle	= {Actes des Journ\'ees du GDR de programmation},
  year		= {1995},
  address	= {Grenoble, France},
  month		= nov,
  pdf		= {ftp://ftp.inria.fr/INRIA/Projects/oscar/FNC-2/publications/gdr95.ps.gz}
}


@InProceedings{	  IGMA_ParRouJou96b,
  author	= {Didier Parigot and Gilles Roussel and Martin Jourdan and {\'E}tienne Duris},
  title		= {{{D}ynamic {A}ttribute {G}rammars.}},
  booktitle	= {8th International Symposium on Programming Languages: Implementations, Logics, and Programs (PLILP'96)},
  year		= {1996},
  editor	= {Herbert Kuchen and Doaitse Swierstra, S.},
  volume	= {1140},
  series	= igma_shortlncs,
  pages		= {122-136},
  address	= {Aachen, Germany},
  month		= sep,
  publisher	= igma_spver,
  pdf		= {http://www-igm.univ-mlv.fr/~duris/PUBLICATIONS/plilp96.ps.gz}
}


@InProceedings{	  IGMA_ForDurRou05b,
  author	= {Forax, R\'emi and Duris, Etienne and Roussel, Gilles},
  title		= {{Reflection-based implementation of Java extensions: the double-dispatch use-case}},
  booktitle	= { Proceedings of the 2005 ACM Symposium on Applied Computing (SAC'05)},
  igmconf	= {Proceedings of the 2005 ACM Symposium on Applied Computing (SAC'05)},
  publisher	= igma_acmp,
  year		= {2005},
  pages		= {1409--1413},
  address	= {New York, NY, USA},
  pdf		= {http://www-igm.univ-mlv.fr/~duris/PUBLICATIONS/sac05-prelim.pdf},
  keywords	= {java},
  note		= { }
}


@InProceedings{	  IGMA_ForDurRou00,
  author	= {Forax, R\'emi and Duris, Etienne and Roussel, Gilles},
  title		= {{Java Multi-Method Framework}},
  booktitle	= { International Conference on Technology of Object-Oriented Languages and Systems (TOOLS'00)},
  igmconf	= {International Conference on Technology of Object-Oriented Languages and Systems (TOOLS'00)},
  publisher	= {IEEE Computer Society},
  year		= {2000},
  pages		= {45--56},
  month		= nov,
  address	= {Sydney, Australia},
  pdf		= {http://www-igm.univ-mlv.fr/~duris/PUBLICATIONS/forax00.ps.gz},
  keywords	= {java},
  note		= { }
}


@InProceedings{	  IGMA_ChiDurRou08,
  author	= {Chilowicz, Michel and Duris, \'Etienne and Roussel, Gilles},
  title		= {{Finding similarities in source code through factorization}},
  booktitle	= {8th Workshop on Language Descriptions, Tools and Applications (LDTA'08)},
  igmnumconf	= {8},
  igmnumbisconf	= {th},
  igmacroconf	= {LDTA},
  igmconf	= {Workshop on Language Descriptions, Tools and Applications},
  series	= {Electronic Notes in Theoretical Computer Science},
  publisher	= igma_elsev,
  editor	= {Johnstone, Adrian and Vinju, Jurgen},
  year		= {2008},
  volume	= {238},
  number	= {5},
  pages		= {47--62},
  month		= apr,
  address	= {Budapest, Hungary},
  igmnbpages	= {15},
  pdf		= {http://igm.univ-mlv.fr/~duris/PUBLICATIONS/ldta08.pdf},
  lang		= {EN},
  note		= { (15 pp.) }
}


@InProceedings{	  IGMA_ChiDurRou09b,
  author	= { Chilowicz, Michel and Duris, \'Etienne and Roussel, Gilles},
  title		= {{Syntax tree fingerprinting for source code similarity detection}},
  booktitle	= {17th IEEE International Conference on Program Comprehension (ICPC'09)},
  igmnumconf	= {17},
  igmnumbisconf	= {th},
  igmacroconf	= {ICPC},
  igmconf	= {IEEE International Conference on Program Comprehension},
  publisher	= {IEEE Computer Society},
  year		= {2009},
  pages		= {243--247},
  month		= may,
  address	= {Vancouver, BC, Canada},
  lang		= {EN},
  note		= { }
}


@InProceedings{	  IGMA_RacBenLoh09,
  idhal		= {hal-00524026},
  pwdhal	= {none},
  typeupe	= {INPROCEEDINGS_national_article},
  confdate	= {2009},
  author	= {Rachedi, Abderrezak and Benslimane, Abderrahim and Lohier, St\'ephane and Badis, Hakim and Duris, \'Etienne and Roussel, Gilles},
  labs		= {3210,,3210,3210,3210,},
  title		= {{Surveillance dans les r\'eseaux de capteurs et les r\'eseaux mobiles ad hoc}},
  booktitle	= {4\`eme S\'ecurit\'e des Architectures R\'eseaux et des Syst\`emes d'Information (SARSSI'09)},
  country	= {FR},
  igmnumconf	= {4},
  igmnumbisconf	= {\`eme},
  igmacroconf	= {SARSSI},
  igmconf	= {S\'ecurit\'e des Architectures R\'eseaux et des Syst\`emes d'Information },
  publisher	= {Publibook},
  year		= {2009},
  pages		= {279--292},
  days		= {23-26},
  month		= jun,
  url		= {http://sarssi.enseeiht.fr/FR/program.php},
  lang		= {FR},
  note		= { }
}


@InProceedings{	  IGMA_ChiDurRou10,
  idhal		= {hal-00533655},
  pwdhal	= {ewnrpkbs},
  typeupe	= {INPROCEEDINGS_international_article},
  confdate	= {2010},
  author	= {Chilowicz, Michel and Duris, Etienne and Roussel, Gilles},
  labs		= {3210,3210,3210},
  title		= {{Towards a multi-scale approach for source code approximate match report}},
  booktitle	= {4th International Workshop on Software Clones (IWSC'10)},
  country	= {ZA},
  igmnumconf	= {4},
  igmnumbisconf	= {th},
  igmacroconf	= {IWSC},
  igmconf	= {International Workshop on Software Clones},
  publisher	= {ACM},
  year		= {2010},
  pages		= {89--90},
  month		= may,
  address	= {Cape Town},
  pdf		= {http://igm.univ-mlv.fr/~chilowi/research/multiscale_matches/multiscale.pdf},
  url		= {http://igm.univ-mlv.fr/~chilowi/research/multiscale_matches/},
  slides	= {http://igm.univ-mlv.fr/~chilowi/research/multiscale_matches/multiscale.presentation.pdf},
  keywords	= {source code similarity, clones, matches, software plagiarism, software factorization},
  lang		= {EN},
  note		= { }
}


@PhDThesis{	  IGMA_Dur98,
  author	= {Etienne Duris},
  title		= {{{C}ontribution aux relations entre les grammaires attribu\'ees et la programmation fonctionnelle}},
  school	= {Universit\'e d'Orl\'eans},
  year		= {1998},
  type		= igm_phddoc,
  month		= oct,
  note		= {200 pages},
  igmtype	= {igm_phdDoc},
  pdf		= {http://www.inria.fr/RRRT/TU-0541.html}
}


@TechReport{	  IGMA_CorDurPar99,
  author	= {Loic Correnson and Etienne Duris and Didier Parigot and Gilles Roussel},
  title		= {{{H}ow to deforest in accumulative parameters?}},
  institution	= {INRIA},
  year		= {1999},
  type		= {Rapport de Recherche},
  number	= {3608},
  month		= jan,
  note		= {20 pages},
  pdf		= {http://www-igm.univ-mlv.fr/~duris/PUBLICATIONS/RR-3608.ps.gz}
}


@TechReport{	  IGMA_CorDurPar98e,
  author	= {Loic Correnson and Etienne Duris and Didier Parigot and Gilles Roussel},
  title		= {{{S}ymbolic {C}omposition}},
  institution	= {INRIA},
  year		= {1998},
  type		= {Rapport de Recherche},
  number	= {3348},
  month		= jan,
  note		= {24 pages},
  pdf		= {http://www-igm.univ-mlv.fr/~duris/PUBLICATIONS/RR-3348.ps.gz}
}


@TechReport{	  IGMA_DelBedRou04b,
  author	= {Christophe Deleray and Nicolas Bedon and Gilles Roussel and Etienne Duris},
  title		= {{{C}orosol: a component-based and reflexive {JVM} dynamically customizable}},
  institution	= igma,
  year		= {2004}
}


@TechReport{	  IGMA_Dur94,
  author	= {Etienne Duris},
  title		= {{{T}ransformation de grammaires attribu\'ees pour des mises \`a jour destructives}},
  institution	= {Universit\'e d'Orl\'eans},
  year		= {1994},
  type		= {Rapport de {DEA}},
  month		= sep,
  note		= {86 pages},
  pdf		= {http://www-igm.univ-mlv.fr/~duris/PUBLICATIONS/dea94.ps.gz}
}


@TechReport{	  IGMA_DurParJou95,
  author	= {Etienne Duris and Didier Parigot and Martin Jourdan},
  title		= {{{M}ises \`a jour destructives dans les grammaires attribu\'ees}},
  institution	= {INRIA},
  year		= {1995},
  type		= {Rapport de recherche},
  number	= {2686},
  month		= oct,
  note		= {9 pages},
  pdf		= {http://www-igm.univ-mlv.fr/~duris/PUBLICATIONS/RR-2686.ps.gz}
}


@TechReport{	  IGMA_DurParRou97b,
  author	= {Etienne Duris and Didier Parigot and Gilles Roussel and Martin Jourdan},
  title		= {{{S}tructure-directed {G}enericity in {F}unctional {P}rogramming and {A}ttribute {G}rammars}},
  institution	= {INRIA},
  year		= {1997},
  type		= {Rapport de Recherche},
  number	= {3105},
  month		= feb,
  note		= {15 pages},
  pdf		= {http://www-igm.univ-mlv.fr/~duris/PUBLICATIONS/RR-3105.ps.gz}
}


@TechReport{	  IGMA_DurParRou96,
  author	= {Etienne Duris and Didier Parigot and Gilles Roussel and Martin Jourdan},
  title		= {{{A}ttribute {G}rammars and {F}olds: {G}eneric {C}ontrol {O}perators}},
  institution	= {INRIA},
  year		= {1996},
  type		= {Rapport de recherche},
  number	= {2957},
  month		= aug,
  note		= {26 pages},
  pdf		= {http://www-igm.univ-mlv.fr/~duris/PUBLICATIONS/RR-2957.ps.gz}
}


@TechReport{	  IGMA_ForDurRou01,
  author	= {R\'emi Forax and Etienne Duris and Gilles Roussel},
  title		= {{{A} {S}imple {D}ispatch {T}echnique for {P}ure {J}ava {M}ulti-{M}ethods}},
  institution	= igma,
  year		= {2001},
  type		= {Rapport de Recherche},
  number	= {2001-02},
  month		= feb,
  note		= {27 pages},
  pdf		= {http://www-igm.univ-mlv.fr/~duris/PUBLICATIONS/forax-igm01.ps.gz}
}


@TechReport{	  IGMA_ForDurRou00b,
  author	= {R\'emi Forax and Etienne Duris and Gilles Roussel},
  title		= {{{J}ava {M}ulti-{M}ethod {F}ramework}},
  institution	= igma,
  year		= {2000},
  type		= {Rapport de Recherche},
  number	= {2000-10},
  month		= oct,
  note		= {15 pages},
  pdf		= {http://www-igm.univ-mlv.fr/~duris/PUBLICATIONS/forax-igm00.ps.gz}
}


@TechReport{	  IGMA_ParDurRou95,
  author	= {Didier Parigot and Etienne Duris and Gilles Roussel and Martin Jourdan},
  title		= {{{A}ttribute {G}rammars: a {D}eclarative {F}unctional {L}anguage}},
  institution	= {INRIA},
  year		= {1995},
  type		= {Rapport de Recherche},
  number	= {2662},
  month		= oct,
  note		= {13 pages},
  pdf		= {http://www-igm.univ-mlv.fr/~duris/PUBLICATIONS/RR-2662.ps.gz}
}


@TechReport{	  IGMA_ParRouJou96,
  author	= {Didier Parigot and Gilles Roussel and Martin Jourdan and Etienne Duris},
  title		= {{{D}ynamic {A}ttribute {G}rammars}},
  institution	= {INRIA},
  year		= {1996},
  type		= {Rapport de recherche},
  number	= {2881},
  month		= may,
  note		= {29 pages},
  pdf		= {http://www-igm.univ-mlv.fr/~duris/PUBLICATIONS/RR-2881.ps.gz}
}


@TechReport{	  IGMA_ChiDurRou09,
  author	= {Chilowicz, Michel and Duris, \'Etienne and Roussel, Gilles},
  title		= {{Syntax tree fingerprinting: a foundation for source code similarity detection}},
  institution	= igma,
  year		= {2009},
  igmnbpages	= {18},
  igmelec	= {true},
  igmrefpreprint= {IGM 2009-03},
  pdf		= {http://igm.univ-mlv.fr/LIGM/internal_report/pdf/2009_03.pdf},
  lang		= {EN},
  note		= { }  # igm_electronic # { (18 pp.) IGM 2009-03 }
}


@Unpublished{	  IGMA_CorDurPar98b,
  author	= {Loic Correnson and Etienne Duris and Didier Parigot and Gilles Roussel},
  title		= {{{A} {G}eneric {F}ramework for {G}enericity}},
  note		= {Unpublished english version of AFADL'98 paper},
  year		= {1998},
  pdf		= {ftp://ftp.inria.fr/INRIA/Projects/oscar/FNC-2/publications/Correnson98c.ps.gz}
}