@InProceedings{Barendregt-RTA01,
author={Barendregt, H.},
title={{Computing and Proving (invited lecture)}},
pages={1},
crossref={RTA01}
}

@InProceedings{Rusinowitch-RTA01,
author={Rusinowitch, M.},
title={{Rewriting for Deduction and Verification (invited lecture)}},
pages={2},
crossref={RTA01}
}

@InProceedings{Bechet-RTA01,
author={Bechet, D.},
title={{Universal Interaction Systems with Only Two Agents}},
pages={3-14},
crossref={RTA01}
}

@InProceedings{BerarducciB-RTA01,
author={Berarducci, A. and B\"ohm, C.},
title={{General Recursion on Second Order Term Algebras}},
pages={15-30},
crossref={RTA01}
}

@InProceedings{BodirskyEKN-RTA01,
author={Bodirsky, M. and Erk, K. and Koller, A. and Niehren, J.},
title={{Beta Reduction Constraints}},
pages={31-46},
crossref={RTA01}
}

@InProceedings{BonelliKR-RTA01,
author={Bonelli, E. and Kesner, D. and R\'{\i}os, A.},
title={{From Higher-Order to First-Order Rewriting}},
pages={47-62},
crossref={RTA01}
}

@InProceedings{BoudetC-RTA01,
author={Boudet, A. and Contejean, E.},
title={{Combining Pattern E-Unification Algorithms}},
pages={63-76},
crossref={RTA01}
}

@InProceedings{CirsteaKL-RTA01,
author={Cirstea, H. and Kirchner, C. and Liquori, L.},
title={{Matching Power}},
pages={77-92},
crossref={RTA01}
}

@InProceedings{GieslK-RTA01,
author={Giesl, J. and Kapur, D.},
title={{Dependency Pairs for Equational Rewriting}},
pages={93-108},
crossref={RTA01}
}

@InProceedings{Hofbauer-RTA01,
author={Hofbauer, D.},
title={{Termination Proofs by Context-Dependent Interpretations}},
pages={108-121},
crossref={RTA01}
}

@InProceedings{KhasidashviliOvO-RTA01,
author={Khasidashvili, Z. and Ogawa, M. and van Oostrom, V.},
title={{Uniform Normalisation beyond Orthogonality}},
pages={122-136},
crossref={RTA01}
}

@InProceedings{KorovinV-RTA01,
author={Korovin, K. and Voronkov, A.},
title={{Verifying Orientability of Rewrite Rules Using the Knuth-Bendix Order}},
pages={137-153},
crossref={RTA01}
}

@InProceedings{KuehnemannGK-RTA01,
author={K\"uhnemann, A. and Gl\"uck, R. and Kakehi, K.},
title={{Relating Accumulative and Non-accumulative Functional Programs}},
pages={154-168},
crossref={RTA01}
}

@InProceedings{LevyV-RTA01,
author={Levy, J. and Villaret, M.},
title={{Context Unification and Traversal Equations}},
pages={169-184},
crossref={RTA01}
}

@InProceedings{LimetRS-RTA01,
author={Limet, S. and R\'ety, P. and Seidl, H.},
title={{Weakly Regular Relations and Applications}},
pages={185-200},
crossref={RTA01}
}

@InProceedings{Lohrey-RTA01,
author={Lohrey, M.},
title={{On the Parallel Complexity of Tree Automata}},
pages={201-215},
crossref={RTA01}
}

@InProceedings{Lucas-RTA01,
author={Lucas, S.},
title={{Transfinite Rewriting Semantics for Term Rewriting Systems}},
pages={216-230},
crossref={RTA01}
}

@InProceedings{LynchM-RTA01,
author={Lynch, C. and Morawska, B.},
title={{Goal-Directed E-Unification}},
pages={231-245},
crossref={RTA01}
}

@InProceedings{OyamaguchiO-RTA01,
author={Oyamaguchi, M. and Ohta, Y.},
title={{The Unification Problem for Confluent Right-Ground Term Rewriting Systems}},
pages={246-260},
crossref={RTA01}
}

@InProceedings{vanRaamsdonk-RTA01,
author={van Raamsdonk, F.},
title={{On Termination of Higher-Order Rewriting}},
pages={261-275},
crossref={RTA01}
}

@InProceedings{Ringeissen-RTA01,
author={Ringeissen, C.},
title={{Matching with Free Function Symbols - A Simple Extension of Matching?}},
pages={276-290},
crossref={RTA01}
}

@InProceedings{Struth-RTA01,
author={Struth, G.},
title={{Deriving Focused Calculi for Transitive Relations}},
pages={291-305},
crossref={RTA01}
}

@InProceedings{VestergaardB-RTA01,
author={Vestergaard, R. and Brotherston, J.},
title={{A Formalised First-Order Confluence Proof for the lambda-Calculus Using One-Sorted Variable Names}},
pages={306-321},
crossref={RTA01}
}

@InProceedings{Woinowski-RTA01,
author={Woinowski, J. R.},
title={{A Normal Form for Church-Rosser Language Systems}},
pages={322-337},
crossref={RTA01}
}

@InProceedings{Yamada-RTA01,
author={Yamada, T.},
title={{Confluence and Termination of Simply Typed Term Rewriting Systems}},
pages={338-352},
crossref={RTA01}
}

@InProceedings{SousaPinto-RTA01,
author={Sousa Pinto, J.},
title={{Parallel Evaluation of Interaction Nets with MPINE (system description)}},
pages={353-356},
crossref={RTA01}
}

@InProceedings{Visser-RTA01,
author={Visser, E.},
title={{Stratego: A Language for Program Transformation Based on Rewriting Strategies (system description)}},
pages={357-362},
crossref={RTA01}
}


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

@Proceedings{RTA01,
year={2001},
month=may # {~22--24,},
editor={Middeldorp, A.},
title={{Rewriting Techniques and Applications, 12th International Conference, RTA-01}},
booktitle={{Rewriting Techniques and Applications, 12th International Conference, RTA-01}},
address={Utrecht, The Netherlands},
series={LNCS 2051},
publisher={Springer}
}