% Invited Lectures:

@InProceedings{ShankarR-RTA02,
author={Shankar, N. and Ruess, H.},
title={{Combining Shostak Theories (invited lecture)}},
pages={1-18},
crossref={RTA02}
}

@InProceedings{Mitchell-RTA02,
author={Mitchell, J. C.},
title={{Multiset Rewriting and Security Protocol Analysis (invited lecture)}},
pages={19-22},
crossref={RTA02}
}

@InProceedings{Baader-RTA02,
author={Baader, F.},
title={{Engineering of Logics for the Content-Based Representation of Information (invited lecture)}},
pages={23},
crossref={RTA02}
}


% Regular Papers:

@InProceedings{Mellies-RTA02,
author={Melli{\`e}s, P.-A.},
title={{Axiomatic Rewriting Theory VI Residual Theory Revisited}},
pages={24-50},
crossref={RTA02}
}

@InProceedings{KennawayKP-RTA02,
author={Kennaway, R. and Khasidashvili, Z. and Piperno, A.},
title={{Static Analysis of Modularity of beta-Reduction in the Hyperbalanced lambda-Calculus}},
pages={51-65},
crossref={RTA02}
}

@InProceedings{FaureK-RTA02,
author={Faure, G. and Kirchner, C.},
title={{Exceptions in the Rewriting Calculus}},
pages={66-82},
crossref={RTA02}
}

@InProceedings{Struth-RTA02,
author={Struth, G.},
title={{Deriving Focused Lattice Calculi}},
pages={83-97},
crossref={RTA02}
}

@InProceedings{SekiTFK-RTA02,
author={Seki, H. and Takai, T. and Fujinaka, Y. and Kaji, Y.},
title={{Layered Transducing Term Rewriting System and Its Recognizability Preserving Property}},
pages={98-113},
crossref={RTA02}
}

@InProceedings{OhsakiT-RTA02,
author={Ohsaki, H. and Takai, T.},
title={{Decidability and Closure Properties of Equational Tree Languages}},
pages={114-128},
crossref={RTA02}
}

@InProceedings{RetyV-RTA02,
author={R{\'e}ty, P. and Vuotto, J.},
title={{Regular Sets of Descendants by Some Rewrite Strategies}},
pages={129-143},
crossref={RTA02}
}

@InProceedings{Waldmann-RTA02,
author={Waldmann, J.},
title={{Rewrite Games}},
pages={144-158},
crossref={RTA02}
}

@InProceedings{SeveriV-RTA02,
author={Severi, P. and de Vries, F.-J.},
title={{An Extensional B{\"o}hm Model}},
pages={159-173},
crossref={RTA02}
}

@InProceedings{Forest-RTA02,
author={Forest, J.},
title={{A Weak Calculus with Explicit Operators for Pattern Matching and Substitution}},
pages={174-191},
crossref={RTA02}
}

@InProceedings{LiangN-RTA02,
author={Liang, C. and Nadathur, G.},
title={{Tradeoffs in the Intensional Representation of Lambda Terms}},
pages={192-206},
crossref={RTA02}
}

@InProceedings{DeharbeMMR-RTA02,
author={D{\'e}harbe, D. and Martins Moreira, A. and Ringeissen, C.},
title={{Improving Symbolic Model Checking by Rewriting Temporal Logic Formulae}},
pages={207-221},
crossref={RTA02}
}

@InProceedings{Voigtlander-RTA02,
author={Voigtl{\"a}nder, J.},
title={{Conditions for Efficiency Improvement by Tree Transducer Composition}},
pages={222-236},
crossref={RTA02}
}

@InProceedings{BravenboerV-RTA02,
author={Bravenboer, M. and Visser, E.},
title={{Rewriting Strategies for Instruction Selection}},
pages={237-251},
crossref={RTA02}
}

@InProceedings{BournezK-RTA02,
author={Bournez, O. and Kirchner, C.},
title={{Probabilistic Rewrite Strategies.  Applications to ELAN}},
pages={252-266},
crossref={RTA02}
}

@InProceedings{Geser-RTA02,
author={Geser, A.},
title={{Loops of Superexponential Lengths in One-Rule String Rewriting}},
pages={267-280},
crossref={RTA02}
}

@InProceedings{TahhanBittar-RTA02,
author={Tahhan-Bittar, E.},
title={{Recursive Derivational Length Bounds for Confluent Term Rewrite Systems}},
pages={281-295},
crossref={RTA02}
}

@InProceedings{Lucas-RTA02,
author={Lucas, S.},
title={{Termination of (Canonical) Context-Sensitive Rewriting}},
pages={296-310},
crossref={RTA02}
}

@InProceedings{CharatonikT-RTA02,
author={Charatonik, W. and Talbot, J.-M.},
title={{Atomic Set Constraints with Projection}},
pages={311-325},
crossref={RTA02}
}

@InProceedings{LevyV-RTA02,
author={Levy, J. and Villaret, M.},
title={{Currying Second-Order Unification Problems}},
pages={326-339},
crossref={RTA02}
}

@InProceedings{DoughertyW-RTA02,
author={Dougherty, D. and Wierzbicki, T.},
title={{A Decidable Variant of Higher Order Matching}},
pages={340-351},
crossref={RTA02}
}

@InProceedings{BaaderT-RTA02,
author={Baader, F. and Tinelli, C.},
title={{Combining Decision Procedures for Positive Theories Sharing Constructors}},
pages={352-366},
crossref={RTA02}
}


% System Descriptions:

@InProceedings{vandePol-RTA02,
author={van de Pol, J.},
title={{JITty: A Rewriter with Strategy Annotations (system description)}},
pages={367-370},
crossref={RTA02}
}

@InProceedings{Durand-RTA02,
author={Durand, I.},
title={{Autowrite: A Tool for Checking Properties of Term Rewriting Systems (system description)}},
pages={371-375},
crossref={RTA02}
}

@InProceedings{LeclandR-RTA02,
author={Lecland, B. and R{\'e}ty, P.},
title={{TTSLI: An Implementation of Tree-Tuple Synchronized Languages (system description)}},
pages={376-379},
crossref={RTA02}
}

@InProceedings{Lippi-RTA02,
author={Lippi, S.},
title={{in2: A Graphical Interpreter for Interaction Nets (system description)}},
pages={380-384},
crossref={RTA02}
}


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

@Proceedings{RTA02,
year={2002},
month=jul # {~22--24,},
editor={Tison, S.},
title={{Rewriting Techniques and Applications, 13th International Conference, RTA-02}},
booktitle={{Rewriting Techniques and Applications, 13th International Conference, RTA-02}},
address={Copenhagen, Denmark},
series={LNCS 2378},
publisher={Springer}
}