@InProceedings{Buchberger-RTA85,
author={Buchberger, B.},
title={{Basic Features and Development of the Critical-Pair/Completion Procedure}},
pages={1--45},
crossref={RTA85}
}

@InProceedings{ZhangR-RTA85,
author={Zhang, H. and R\'emy, J.-L.},
title={{Contextual Rewriting}},
pages={46--62},
crossref={RTA85}
}

@InProceedings{Book-RTA85,
author={Book, R. V.},
title={{Thue Systems as Rewriting Systems}},
pages={63--94},
crossref={RTA85}
}

@InProceedings{Otto-RTA85,
author={Otto, F.},
title={{Deciding Algebraic Properties of Monoids Presented by Finite Church-Rosser Thue Systems}},
pages={95--106},
crossref={RTA85}
}

@InProceedings{CosmadakisK-RTA85,
author={Cosmadakis, S. S. and Kanellakis, P. C.},
title={{Two Applications of Equational Theories to Database Theory}},
pages={107--123},
crossref={RTA85}
}

@InProceedings{JonesSS-RTA85,
author={Jones, N. D. and Sestoft, P. and Sondergaard, H.},
title={{An Experiment in Partial Evaluation: The Generation of a Compiler Generator}},
pages={124--140},
crossref={RTA85}
}

@InProceedings{RetyKKP-RTA85,
author={R\'ety, P. and Kirchner, C. and Kirchner, H. and Lescanne, P.},
title={{NARROWER: A New Algorithm for Unification and Its Application to Logic Programming}},
pages={141--157},
crossref={RTA85}
}

@InProceedings{Ait-Kaci-RTA85,
author={A\"{\i}t-Kaci, H.},
title={{Solving Type Equations by Graph Rewriting}},
pages={158--179},
crossref={RTA85}
}

@InProceedings{Dershowitz-RTA85,
author={Dershowitz, N.},
title={{Termination}},
pages={180--224},
crossref={RTA85}
}

@InProceedings{Rusinowitch-RTA85,
author={Rusinowitch, M.},
title={{Path of Subterms Ordering and Recursive Decomposition Ordering Revisited}},
pages={225--240},
crossref={RTA85}
}

@InProceedings{BachmairP-RTA85,
author={Bachmair, L. and Plaisted, D. A.},
title={{Associative Path Orderings}},
pages={241--254},
crossref={RTA85}
}

@InProceedings{DetlefsF-RTA85,
author={Detlefs, D. and Forgaard, R.},
title={{A Procedure for Automatically Proving the Termination of a Set of Rewrite Rules}},
pages={255--270},
crossref={RTA85}
}

@InProceedings{ChoppyJ-RTA85,
author={Choppy, C. and Johnen, C.},
title={{PETRIREVE: Proving Petri Net Properties with Rewriting Systems}},
pages={271--286},
crossref={RTA85}
}

@InProceedings{PoratF-RTA85,
author={Porat, S. and Francez, N.},
title={{Fairness in Term Rewriting Systems}},
pages={287--300},
crossref={RTA85}
}

@InProceedings{Hsiang-RTA85,
author={Hsiang, J.},
title={{Two Results in Term Rewriting Theorem Proving}},
pages={301--324},
crossref={RTA85}
}

@InProceedings{Fribourg-RTA85,
author={Fribourg, L.},
title={{Handling Function Definitions through Innermost Superposition and Rewriting}},
pages={325--344},
crossref={RTA85}
}

@InProceedings{Kandri-RodyKN-RTA85,
author={Kandri-Rody, A. and Kapur, D. and Narendran, P.},
title={{An Ideal-Theoretic Approach to Work Problems and Unification Problems over Finitely Presented Commutative Algebras}},
pages={345--364},
crossref={RTA85}
}

@InProceedings{Yelick-RTA85,
author={Yelick, K. A.},
title={{Combining Unification Algorithms for Confined Regular Equational Theories}},
pages={365--380},
crossref={RTA85}
}

@InProceedings{Fortenbach-RTA85,
author={Fortenbach, A.},
title={{An Algebraic Approch to Unification Under Assoiativity and Commutativity}},
pages={381--397},
crossref={RTA85}
}

@InProceedings{ArnborgT-RTA85,
author={Arnborg, S. and Tid\'en, E.},
title={{Unification Problems with One-Sided Distributivity}},
pages={398--406},
crossref={RTA85}
}

@InProceedings{PurdomB-RTA85,
author={Purdom Jr., P. W. and Brown, C. A.},
title={{Fast Many-to-One Matching Algorithms}},
pages={407--416},
crossref={RTA85}
}

@InProceedings{BenanavKN-RTA85,
author={Benanav, D. and Kapur, D. and Narendran, P.},
title={{Complexity of Matching Problems}},
pages={417--429},
crossref={RTA85}
}

@InProceedings{Zaionc-RTA85,
author={Zaionc, M.},
title={{The Set of Unifiers in Typed Lambda-Calculus as Regular Expression}},
pages={430--440},
crossref={RTA85}
}



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

@Proceedings{RTA85,
year={1985},
month=may # {~20--22,},
editor={Jouannaud, Jean-Pierre},
title={{Rewriting Techniques and Applications, 1st International Conference, RTA-85}},
booktitle={{Rewriting Techniques and Applications, 1st International Conference, RTA-85}},
address={Dijon, France},
series={LNCS 202},
publisher={Springer-Verlag}
}