@InProceedings{ODonnell-RTA87,
author={O'Donnell, M. J.},
title={{Term-Rewriting Implementation of Equational Logic Programming (invited lecture)}},
pages={1--12},
crossref={RTA87}
}

@InProceedings{Strandh-RTA87,
author={Strandh, R.},
title={{Optimizing Equational Programs}},
pages={13--24},
crossref={RTA87}
}

@InProceedings{Kaplan-RTA87,
author={Kaplan, S.},
title={{A Compiler for Conditional Term Rewriting Systems}},
pages={25--41},
crossref={RTA87}
}

@InProceedings{Martin-RTA87,
author={Martin, U.},
title={{How to Choose Weights in the Knuth Bendix Ordering}},
pages={42--53},
crossref={RTA87}
}

@InProceedings{Purdom-RTA87,
author={Purdom Jr, P. W.},
title={{Detecting Looping Simplifications}},
pages={54--61},
crossref={RTA87}
}

@InProceedings{Sopena-RTA87,
author={Sopena, E.},
title={{Combinatorial Hypermap Rewriting}},
pages={62--73},
crossref={RTA87}
}

@InProceedings{SquierO-RTA87,
author={Squier, C. C. and Otto, F.},
title={{The Word Problem for Finitely Presented Monoids and Finite Canonical Rewriting Systems}},
pages={74--82},
crossref={RTA87}
}

@InProceedings{BaetenBK-RTA87,
author={Baeten, J. C. M. and Bergstra, J. A. and Klop, J. W.},
title={{Term Rewriting Systems with Priorities}},
pages={83--94},
crossref={RTA87}
}

@InProceedings{DauchetC-RTA87,
author={Dauchet, M. and De Comite, F.},
title={{A Gap Between Linear and Non Linear Term-Rewriting Systems}},
pages={95--104},
crossref={RTA87}
}

@InProceedings{DesplandMR-RTA87,
author={Despland, A. and Mazaud, M. and Rakotozafy, R.},
title={{Code Generator Generation Based on Template-Driven Target Term Rewriting}},
pages={105--120},
crossref={RTA87}
}

@InProceedings{Benois-RTA87,
author={Benois, M.},
title={{Descendants of Regular Language in a Class of Rewriting Systems: Algorithm and Complexity of an Automata Construction}},
pages={121--132},
crossref={RTA87}
}

@InProceedings{MadlenerO-RTA87,
author={Madlener, K. and Otto, F.},
title={{Groups Presented by Certain Classes of Finite Length-Reducing String-Rewriting Systems}},
pages={133--144},
crossref={RTA87}
}

@InProceedings{Otto-RTA87,
author={Otto, F.},
title={{Some Results about Confluence on a Given Congruence Class}},
pages={145--155},
crossref={RTA87}
}

@InProceedings{Goebel-RTA87,
author={G\"obel, R.},
title={{Ground Confluence}},
pages={156--167},
crossref={RTA87}
}

@InProceedings{Qian-RTA87,
author={Qian, Z.},
title={{Structured Contextual Rewriting}},
pages={168--179},
crossref={RTA87}
}
@InProceedings{Kirchner-RTA87,
author={Kirchner, H.},
title={{Schematization of Infinite Sets of Rewrite Rules. Application to the Divergence of Completion Processes}},
pages={180--191},
crossref={RTA87}
}

@InProceedings{BachmairD-RTA87,
author={Bachmair, L. and Dershowitz, N.},
title={{Completion for Rewriting Modulo a Congruence}},
pages={192--203},
crossref={RTA87}
}

@InProceedings{BuerckertHS-RTA87,
author={B\"urckert, H.-J. and Herold, A. and Schmidt-Schau\ss, M.},
title={{On Equational Theories, Unification and Decidability}},
pages={204--215},
crossref={RTA87}
}

@InProceedings{GallierS-RTA87,
author={Gallier, J. H. and Snyder, W.},
title={{A General Complete E-Unification Procedure}},
pages={216--227},
crossref={RTA87}
}

@InProceedings{Rety-RTA87,
author={R\'ety, P.},
title={{Improving Basic Narrowing Techniques}},
pages={228--241},
crossref={RTA87}
}

@InProceedings{Padawitz-RTA87,
author={Padawitz, P.},
title={{Strategy-Controlled Reduction and Narrowing}},
pages={242--255},
crossref={RTA87}
}

@InProceedings{ChoppyKS-RTA87,
author={Choppy, C. and Kaplan, S. and Soria, M.},
title={{Algorithmic Complexity of Term Rewriting Systems}},
pages={256--273},
crossref={RTA87}
}

@InProceedings{RameshR-RTA87,
author={Ramesh, R. and Ramakrishnan, I. V.},
title={{Optimal Speedups for Parallel Pattern Matching in Trees}},
pages={274--285},
crossref={RTA87}
}


% CROSSREFERENCES
% These must remain at the end of this file.

@Proceedings{RTA87,
year={1987},
month=may # {~25--27,},
editor={Lescanne, Pierre},
title={{Rewriting Techniques and Applications, 2nd International Conference, RTA-87}},
booktitle={{Rewriting Techniques and Applications, 2nd International Conference, RTA-87}},
address={Bordeaux, France},
series={LNCS 256},
publisher={Springer-Verlag}
}