@InProceedings{Leroy-RTA07,
author={Leroy, X.},
title={{Formal Verification of an Optimizing Compiler (invited lecture)}},
pages={1},
crossref={RTA07}
}

@InProceedings{NieuwenhuisORCR-RTA07,
author={Nieuwenhuis, R. and Oliveras, A. and Rodr\'{\i}guez-Carbonell,
                  E. and Rubio, A.},
title={{Challenges in Satisfiability Modulo Theories (invited lecture)}},
pages={2-18},
crossref={RTA07}
}

@InProceedings{Pfenning-RTA07,
author={Pfenning, F.},
title={{On a Logical Foundation for Explicit Substitutions (invited lecture)}},
pages={19},
crossref={RTA07}
}

@InProceedings{AnantharamanNR-RTA07,
author={Anantharaman, S. and Narendran, P. and Rusinowitch, M.},
title={{Intruders with Caps}},
pages={20-35},
crossref={RTA07}
}

@InProceedings{BallandBKMR-RTA07,
author={Balland, E. and Brauner, P. and Kopetz, R. and Moreau, P.-E. and Reilles, A.},
title={{Tom: Piggybacking Rewriting on Java (system description)}},
pages={36-47},
crossref={RTA07}
}

@InProceedings{BoichutGJLR-RTA07,
author={Boichut, Y. and Genet, T. and Jensen, T. P. and Le Roux, L.},
title={{Rewriting Approximations for Fast Prototyping of Static Analyzers}},
pages={48-62},
crossref={RTA07}
}

@InProceedings{BoydelaTourE-RTA07,
author={Boy de la Tour, T. and Echenim, M.},
title={{Determining Unify-Stable Presentations}},
pages={63-77},
crossref={RTA07}
}

@InProceedings{CirsteaF-RTA07,
author={Cirstea, H. and Faure, G.},
title={{Confluence of Pattern-Based Calculi}},
pages={78-92},
crossref={RTA07}
}

@InProceedings{DowekH-RTA07,
author={Dowek, G. and Hermant, O.},
title={{A Simple Proof That Super-Consistency Implies Cut Elimination}},
pages={93-106},
crossref={RTA07}
}

@InProceedings{DurandS-RTA07,
author={Durand, I. and S{\'e}nizergues, G.},
title={{Bottom-Up Rewriting Is Inverse Recognizability Preserving}},
pages={107-121},
crossref={RTA07}
}

@InProceedings{DuvalEP-RTA07,
author={Duval, D. and Echahed, R. and Prost, F.},
title={{Adjunction for Garbage Collection with Application to Graph Rewriting}},
pages={122-136},
crossref={RTA07}
}

@InProceedings{EchahedP-RTA07,
author={Echahed, R. and Peltier, N.},
title={{Non Strict Confluent Rewrite Systems for Data-Structures with Pointers}},
pages={137-152},
crossref={RTA07}
}

@InProceedings{EscobarM-RTA07,
author={Escobar, S. and Meseguer, J.},
title={{Symbolic Model Checking of Infinite-State Systems Using Narrowing}},
pages={153-168},
crossref={RTA07}
}

@InProceedings{EspiritoSanto-RTA07,
author={Esp\'{\i}rito Santo, J.},
title={{Delayed Substitutions}},
pages={169-183},
crossref={RTA07}
}

@InProceedings{GodoyH-RTA07,
author={Godoy, G. and Huntingford, E.},
title={{Innermost-Reachability and Innermost-Joinability Are Decidable
                  for Shallow Term Rewrite Systems}},
pages={184-199},
crossref={RTA07}
}

@InProceedings{GodoyHT-RTA07,
author={Godoy, G. and Huntingford, E. and Tiwari, A.},
title={{Termination of Rewriting with Right-Flat Rules}},
pages={200-213},
crossref={RTA07}
}

@InProceedings{HaemmerleF-RTA07,
author={Haemmerl{\'e}, R. and Fages, F.},
title={{Abstract Critical Pairs and Confluence of Arbitrary Binary Relations}},
pages={214-228},
crossref={RTA07}
}

@InProceedings{HendrixM-RTA07,
author={Hendrix, J. and Meseguer, J.},
title={{On the Completeness of Context-Sensitive Order-Sorted Specifications}},
pages={229-245},
crossref={RTA07}
}

@InProceedings{HillsR-RTA07,
author={Hills, M. and Rosu, G.},
title={{KOOL: An Application of Rewriting Logic to Language Prototyping and Analysis (system description)}},
pages={246-256},
crossref={RTA07}
}

@InProceedings{Kikuchi-RTA07,
author={Kikuchi, K.},
title={{Simple Proofs of Characterizing Strong Normalization for Explicit Substitution Calculi}},
pages={257-272},
crossref={RTA07}
}

@InProceedings{KorpM-RTA07,
author={Korp, M. and Middeldorp, A.},
title={{Proving Termination of Rewrite Systems Using Bounds}},
pages={273-287},
crossref={RTA07}
}

@InProceedings{KutsiaLV-RTA07,
author={Kutsia, T. and Levy, J. and Villaret, M.},
title={{Sequence Unification Through Currying}},
pages={288-302},
crossref={RTA07}
}

@InProceedings{MarcheZ-RTA07,
author={March{\'e}, C. and Zantema, H.},
title={{The Termination Competition (system description)}},
pages={303-313},
crossref={RTA07}
}

@InProceedings{vanOostrom-RTA07,
author={van Oostrom, V.},
title={{Random Descent}},
pages={314-328},
crossref={RTA07}
}

@InProceedings{SchmidtSchauss-RTA07,
author={Schmidt-Schau{\ss}, M.},
title={{Correctness of Copy in Calculi with Letrec}},
pages={329-343},
crossref={RTA07}
}

@InProceedings{Strassburger-RTA07,
author={Stra{\ss}burger, L.},
title={{A Characterization of Medial as Rewriting Rule}},
pages={344-358},
crossref={RTA07}
}

@InProceedings{Tatsuta-RTA07,
author={Tatsuta, M.},
title={{The Maximum Length of Mu-Reduction in Lambda Mu-Calculus}},
pages={359-373},
crossref={RTA07}
}

@InProceedings{Vaux-RTA07,
author={Vaux, L.},
title={{On Linear Combinations of Lambda-Terms}},
pages={374-388},
crossref={RTA07}
}

@InProceedings{ZanklM-RTA07,
author={Zankl, H. and Middeldorp, A.},
title={{Satisfying KBO Constraints}},
pages={389-403},
crossref={RTA07}
}

@InProceedings{ZantemaW-RTA07,
author={Zantema, H. and Waldmann, J.},
title={{Termination by Quasi-periodic Interpretations}},
pages={404-418},
crossref={RTA07}
}


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

@Proceedings{RTA07,
year={2007},
month=jun # {~26--28,},
editor={Baader, F.},
title={{Term Rewriting and Applications, 18th International Conference, RTA-07}},
booktitle={{Term Rewriting and Applications, 18th International Conference, RTA-07}},
address={Paris, France},
series={LNCS 4533},
publisher={Springer}
}