@InProceedings{Bachmair-RTA93,
author={Bachmair, L.},
title={{Rewrite Techniques in Theorem Proving (invited lecture)}},
pages={1},
crossref={RTA93}
}

@InProceedings{LynchS-RTA93,
author={Lynch, C. and Snyder, W.},
title={{Redundancy Criteria for Constrained Completion}},
pages={2--16},
crossref={RTA93}
}

@InProceedings{LevyA-RTA93,
author={Levy, J. and Agust{\'\i}, J.},
title={{Bi-rewriting, a Term Rewriting Technique for Monotonic Order Relations}},
pages={17--31},
crossref={RTA93}
}

@InProceedings{Zhang-RTA93,
author={Zhang, H.},
title={{A Case Study of Completion Modulo Distributivity and Abelian Groups}},
pages={32--46},
crossref={RTA93}
}

@InProceedings{Werner-RTA93,
author={Werner, A.},
title={{A Semantic Approach to Order-Sorted Rewriting}},
pages={47--61},
crossref={RTA93}
}

@InProceedings{AvenhausD-RTA93,
author={Avenhaus, J. and Denzinger, J.},
title={{Distributing Equational Theorem Proving}},
pages={62--76},
crossref={RTA93}
}

@InProceedings{ChakrabartiY-RTA93,
author={Chakrabarti, S. and Yelick, K. A.},
title={{On the Correctness of a Distributed Memory Gr\"obner basis Algorithm}},
pages={77--91},
crossref={RTA93}
}

@InProceedings{Moser-RTA93,
author={Moser, M.},
title={{Improving Transformation Systems for General E-Unification}},
pages={92--105},
crossref={RTA93}
}

@InProceedings{NiehrenPT-RTA93,
author={Niehren, J. and Podelski, A. and Treinen, R.},
title={{Equational and Membership Constraints for Finite Trees}},
pages={106--120},
crossref={RTA93}
}

@InProceedings{Backofen-RTA93,
author={Backofen, R.},
title={{Regular Path Expression in Feature Logic}},
pages={121--135},
crossref={RTA93}
}

@InProceedings{Gallier-RTA93,
author={Gallier, J. H.},
title={{Proving Properties of Typed Lambda Terms: Realizability, Covers, and Sheaves (invited lecture)}},
pages={136},
crossref={RTA93}
}

@InProceedings{Dougherty-RTA93,
author={Dougherty, D. J.},
title={{Some Lambda Calculi with Categorial Sums and Products}},
pages={137--151},
crossref={RTA93}
}

@InProceedings{AspertiL-RTA93,
author={Asperti, A. and Laneve, C.},
title={{Paths, Computations and Labels in the Lambda-Calculus}},
pages={152--167},
crossref={RTA93}
}

@InProceedings{vanRaamsdonk-RTA93,
author={van Raamsdonk, F.},
title={{Confluence and Superdevelopments}},
pages={168--182},
crossref={RTA93}
}

@InProceedings{Ariola-RTA93,
author={Ariola, Z. M.},
title={{Relating Graph and Term Rewriting via B\"ohm Models}},
pages={183--197},
crossref={RTA93}
}

@InProceedings{DershowitzH-RTA93,
author={Dershowitz, N. and Hoot, C.},
title={{Topics in Termination}},
pages={198--212},
crossref={RTA93}
}

@InProceedings{FerreiraZ-RTA93,
author={Ferreira, M. C. F. and Zantema, H.},
title={{Total Termination of Term Rewriting}},
pages={213--227},
crossref={RTA93}
}

@InProceedings{MiddeldorpG-RTA93,
author={Middeldorp, A. and Gramlich, B.},
title={{Simple Termination is Difficult}},
pages={228--242},
crossref={RTA93}
}

@InProceedings{Khasidashvili-RTA93,
author={Khasidashvili, Z.},
title={{Optimal Normalization in Orthogonal Term Rewriting Systems}},
pages={243--258},
crossref={RTA93}
}

@InProceedings{Field-RTA93,
author={Field, J.},
title={{A Graph Reduction Approach to Incremental Term Rewriting (Preliminary Report)}},
pages={259--273},
crossref={RTA93}
}

@InProceedings{Lippe-RTA93,
author={Lippe, E.},
title={{Generating Tables for Bottom-Up Matching}},
pages={274--288},
crossref={RTA93}
}

@InProceedings{Adian-RTA93,
author={Adian, S. I.},
title={{On some Algorithmic Problems for Groups and Monoids}},
pages={289--300},
crossref={RTA93}
}

@InProceedings{BaaderS-RTA93,
author={Baader, F. and Schulz, K. U.},
title={{Combination Techniques and Decision Problems for Disunification}},
pages={301--315},
crossref={RTA93}
}

@InProceedings{-RTA93,
author={M. Tajine},
title={{The Negation Elimination from Syntactic Equational Formula is Decidable}},
pages={316--327},
crossref={RTA93}
}

@InProceedings{CaronCD-RTA93,
author={Caron, A.-C. and Coquid{\'e}, J.-L. and Dauchet, M.},
title={{Encompassment Properties and Automata with Constraints}},
pages={328--342},
crossref={RTA93}
}

@InProceedings{Raoult-RTA93,
author={Raoult, J.-C.},
title={{Recursively Defined Tree Transductions}},
pages={343--357},
crossref={RTA93}
}

@InProceedings{Fernandez-RTA93,
author={Fern{\'a}ndez, M.},
title={{AC Complement Problems: Satisfiability and Negation Elimination}},
pages={358--373},
crossref={RTA93}
}

@InProceedings{RubioN-RTA93,
author={Rubio, A. and Nieuwenhuis, R.},
title={{A Precedence-Based Total AC-Compatible Ordering}},
pages={374--388},
crossref={RTA93}
}

@InProceedings{DelorP-RTA93,
author={Delor, C. and Puel, L.},
title={{Extension of the Associative Path Ordering to a Chain of Associative Commutative Symbols}},
pages={389--404},
crossref={RTA93}
}

@InProceedings{Plaisted-RTA93,
author={Plaisted, D. A.},
title={{Polynomial Time Termination and Constraint Satisfaction Tests}},
pages={405--420},
crossref={RTA93}
}

@InProceedings{Martin-RTA93,
author={Martin, U.},
title={{Linear Interpretations by Counting Patterns}},
pages={421--433},
crossref={RTA93}
}

@InProceedings{Senizergues-RTA93,
author={S{\'e}nizergues, G.},
title={{Some Undecidable Termination Problems for Semi-Thue Systems (Abstract)}},
pages={434},
crossref={RTA93}
}

@InProceedings{Saturate-RTA93,
author={Nivela, P. and Nieuwenhuis, R.},
title={{Saturation of First-Order (Constrained) Clauses with the Saturate System (system description)}},
pages={436--440},
crossref={RTA93}
}

@InProceedings{MERILL-RTA93,
author={Matthews, B.},
title={{MERILL: An Equational Reasoning System in Standard ML (system description)}},
pages={441--445},
crossref={RTA93}
}

@InProceedings{ReDuX-RTA93,
author={B{\"u}ndgen, R.},
title={{Reduce the Redex -> ReDuX (system description)}},
pages={446--450},
crossref={RTA93}
}

@InProceedings{AGG-RTA93,
author={L{\"o}we, M. and Beyer, M.},
title={{AGG - An Implementation of Algebraic Graph Rewriting (system description)}},
pages={451--456},
crossref={RTA93}
}

@InProceedings{Smaran-RTA93,
author={Verma, R. M.},
title={{Smaran: A Congruence-Closure Based System for Equational Computations (system description)}},
pages={457--461},
crossref={RTA93}
}

@InProceedings{LAMBDALG-RTA93,
author={Gui, Y. and Okada, M.},
title={{LAMBDALG: Higher Order Algebraic Specification Language (system description)}},
pages={462--466},
crossref={RTA93}
}

@InProceedings{DershowitzJK-RTA93,
author={Dershowitz, N. and Jouannaud, J.-P. and Klop, J. W.},
title={{More Problems in Rewriting}},
pages={468--487},
crossref={RTA93}
}


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

@Proceedings{RTA93,
year={1993},
month=jun # {~16--18,},
editor={Kirchner, Claude},
title={{Rewriting Techniques and Applications, 5th International Conference, RTA-93}},
booktitle={{Rewriting Techniques and Applications, 5th International Conference, RTA-93}},
address={Montreal, Canada},
series={LNCS 690},
publisher={Springer-Verlag}
}