@comment{{This file has been generated by bib2bib 1.96}}

@comment{{Command line: /usr/bin/bib2bib -c '$key="barbanera93tlca" or $key="blanqui03mscs" or $key="FernandezBarbaneraGeuvers:lics94" or $key="barbanera90ijfcs" or $key="JO91:lics" or $key="D91:rta" or $key="walukiewicz03jfp" or $key="barbanera93icalp" or $key="DO90:tcs" or $key="BWerner" or $key="BG89:icalp" or 1=2' ../biblio/abbrevs.bib ../biblio/rtaloop.bib ../biblio/crossrefs.bib}}

@string{ieee = {IEEE}}

@string{springer = {Springer-Verlag}}

@string{tcs = {Theoretical Computer Science}}

@string{lncs = {Lecture Notes in Computer Science}}

@misc{BWerner,
  author = {Benjamin Werner},
  topics = logic,
  title = {{\it M{\'e}ta-th{\'e}orie du Calcul des Constructions
			Inductives}},
  howpublished = {Th\`ese Univ. Paris VII, France},
  year = 1994
}

@inproceedings{FernandezBarbaneraGeuvers:lics94,
  author = {Franco Barbanera and Maribel Fern\'andez and
			Herman Geuvers},
  title = {Modularity of Strong Normalization and Confluence
			in the $\lambda$-algebraic-cube},
  crossref = {lics94}
}

@inproceedings{barbanera93tlca,
  author = {Franco Barbanera and Maribel Fern{\'a}ndez},
  title = {Combining first and higher order rewrite systems with
                 	type assignment systems},
  crossref = {tlca93}
}

@inproceedings{barbanera93icalp,
  author = {Franco Barbanera and Maribel Fern{\'a}ndez},
  title = {Modularity of termination and confluence in combinations
			of rewrite systems with {$\lambda_\omega$}},
  crossref = {icalp93}
}

@inproceedings{JO91:lics,
  author = {Jean-Pierre Jouannaud and Mitsuhiro Okada},
  title = {Executable Higher-Order Algebraic Specification Languages},
  crossref = {lics91},
  pages = {350--361}
}

@inproceedings{D91:rta,
  author = {Daniel Dougherty},
  title = {Adding Algebraic Rewriting to the Untyped Lambda Calculus
                 (Extended Abstract)},
  crossref = {rta91},
  pages = {37--48}
}

@article{DO90:tcs,
  author = {Nachum Dershowitz and Mitsuhiro Okada},
  year = 1990,
  title = {A Rationale for Conditional Equational Programming},
  journal = tcs,
  volume = 75,
  pages = {111--138}
}

@inproceedings{BG89:icalp,
  author = {Val Breazu-{T}annen and Jean Gallier},
  title = {Polymorphic Rewriting Conserves Algebraic Strong
			Normalization},
  crossref = {icalp89},
  pages = {137--150}
}

@article{barbanera90ijfcs,
  author = {Franco Barbanera},
  title = {Combining Term Rewriting and Type Assignment Systems},
  journal = {IJFCS},
  year = 1990,
  volume = 1,
  pages = {165--184}
}

@article{walukiewicz03jfp,
  author = {Daria Walukiewicz-Chrzaszcz},
  title = {Termination of rewriting in the {C}alculus of
                 {C}onstructions},
  journal = {Journal of Functional Programming},
  year = 2003,
  volume = {13},
  number = {2},
  pages = {339--414}
}

@misc{blanqui03mscs,
  author = {Fr\'ed\'eric Blanqui},
  title = {Definitions by rewriting in the {C}alculus of 
                 {C}onstructions},
  year = 2003,
  note = {To appear in Mathematical Structures in Computer Science}
}

@string{lics = {Symposium on Logic in Computer Science}}

@proceedings{icalp89,
  booktitle = {16th International Colloquium on
                        Automata, Languages and Programming},
  title = {16th International Colloquium on
                        Automata, Languages and Programming},
  address = {Stresa, Italy},
  year = 1989,
  month = jul,
  series = lncs,
  publisher = springer,
  volume = 372
}

@proceedings{icalp93,
  booktitle = {20th International Colloquium on
                        Automata, Languages and Programming},
  title = {20th International Colloquium on
                        Automata, Languages and Programming},
  address = {Lund, Sweden},
  editor = {Andrzej Lingas and Rolf Karlsson and Svante Carlsson},
  publisher = springer,
  series = lncs,
  volume = {700},
  year = 1993,
  month = jul
}

@proceedings{lics91,
  booktitle = {Sixth } # lics,
  title = {Sixth } # lics,
  editor = {Gilles Kahn},
  year = 1991,
  month = jul,
  address = {Amsterdam, The Netherlands},
  organization = ieee
}

@proceedings{lics94,
  booktitle = {Ninth } # lics,
  title = {Ninth } # lics,
  editor = {Samson Abramsky},
  year = 1994,
  month = jul,
  address = {Paris, France},
  organization = ieee
}

@proceedings{rta91,
  booktitle = {4th International Conference on Rewriting Techniques and Applications},
  title = {4th International Conference on Rewriting Techniques and Applications},
  editor = {Ronald. V. Book},
  year = 1991,
  month = apr,
  address = {Como, Italy},
  publisher = springer,
  series = lncs,
  volume = 488
}

@proceedings{tlca93,
  booktitle = {International Conference of Typed Lambda Calculi and
			Applications},
  title = {International Conference of Typed Lambda Calculi and
			Applications},
  key = {TLCA93},
  year = {1993}
}