@InProceedings{JonesB-RTA04,
  author =	 {Jones, N. D. and Bohr, N.},
  title =	 {{Termination Analysis of the Untyped lamba-Calculus
                  (invited lecture)}},
  pages =	 {1-23},
  crossref =	 {RTA04}
}

@InProceedings{Blanqui-RTA04,
  author =	 {Blanqui, F.},
  title =	 {{A Type-Based Termination Criterion for
                  Dependently-Typed Higher-Order Rewrite Systems}},
  pages =	 {24-39},
  crossref =	 {RTA04}
}

@InProceedings{Toyama-RTA04,
  author =	 {Toyama, Y.},
  title =	 {{Termination of S-Expression Rewriting Systems:
                  Lexicographic Path Ordering for Higher-Order Terms}},
  pages =	 {40-54},
  crossref =	 {RTA04}
}

@InProceedings{LevySSV-RTA04,
  author =	 {Levy, J. and Schmidt-Schauß, M. and Villaret, M.},
  title =	 {{Monadic Second-Order Unification Is NP-Complete}},
  pages =	 {55-69},
  crossref =	 {RTA04}
}

@InProceedings{Contejean-RTA04,
  author =	 {Contejean, E.},
  title =	 {{A Certified AC Matching Algorithm}},
  pages =	 {70-84},
  crossref =	 {RTA04}
}

@InProceedings{Waldmann-RTA04,
  author =	 {Waldmann, J.},
  title =	 {{Matchbox: A Tool for Match-Bounded String Rewriting
                  (system description)}},
  pages =	 {85-94},
  crossref =	 {RTA04}
}

@InProceedings{Zantema-RTA04,
  author =	 {Zantema, H.},
  title =	 {{TORPA: Termination of Rewriting Proved
                  Automatically (system description)}},
  pages =	 {95-104},
  crossref =	 {RTA04}
}

@InProceedings{CarmeNT-RTA04,
  author =	 {Carme, J. and Niehren, J. and Tommasi, M.},
  title =	 {{Querying Unranked Trees with Stepwise Tree
                  Automata}},
  pages =	 {105-118},
  crossref =	 {RTA04}
}

@InProceedings{Takai-RTA04,
  author =	 {Takai, T.},
  title =	 {{A Verification Technique Using Term Rewriting
                  Systems and Abstract Interpretation}},
  pages =	 {119-133},
  crossref =	 {RTA04}
}

@InProceedings{GeuversN-RTA04,
  author =	 {Geuvers, H. and Nederpelt, R.},
  title =	 {{Rewriting for Fitch Style Natural Deductions}},
  pages =	 {134-154},
  crossref =	 {RTA04}
}

@InProceedings{Mackie-RTA04,
  author =	 {Mackie, I.},
  title =	 {{Efficient lambda-Evaluation with Interaction Nets}},
  pages =	 {155-169},
  crossref =	 {RTA04}
}

@InProceedings{LimetS-RTA04,
  author =	 {Limet, S. and Salzer, G.},
  title =	 {{Proving Properties of Term Rewrite Systems via
                  Logic Programs}},
  pages =	 {170-184},
  crossref =	 {RTA04}
}

@InProceedings{GrueSimonsen-RTA04,
  author =	 {Grue Simonsen, J.},
  title =	 {{On the Modularity of Confluence in Infinitary Term
                  Rewriting}},
  pages =	 {185-199},
  crossref =	 {RTA04}
}

@InProceedings{Lucas-RTA04,
  author =	 {Lucas, S.},
  title =	 {{mu-term: A Tool for Proving Termination of
                  Context-Sensitive Rewriting (system description)}},
  pages =	 {200-209},
  crossref =	 {RTA04}
}

@InProceedings{GieslTSKF-RTA04,
  author =	 {Giesl, J. and Thiemann, R. and Schneider-Kamp,
                  P. and Falke, S.},
  title =	 {{Automated Termination Proofs with AProVE (system
                  description)}},
  pages =	 {210-220},
  crossref =	 {RTA04}
}

@InProceedings{Blom-RTA04,
  author =	 {Blom, S.},
  title =	 {{An Approximation Based Approach to Infinitary
                  Lambda Calculi}},
  pages =	 {221-232},
  crossref =	 {RTA04}
}

@InProceedings{Ketema-RTA04,
  author =	 {Ketema, J.},
  title =	 {{Böhm-Like Trees for Term Rewriting Systems}},
  pages =	 {233-248},
  crossref =	 {RTA04}
}

@InProceedings{HirokawaM-RTA04,
  author =	 {Hirokawa, N. and Middeldorp, A.},
  title =	 {{Dependency Pairs Revisited (invited lecture)}},
  pages =	 {249-268},
  crossref =	 {RTA04}
}

@InProceedings{AotoYT-RTA04,
  author =	 {Aoto, T. and Yamada, T. and Toyama, Y.},
  title =	 {{Inductive Theorems for Higher-Order Rewriting}},
  pages =	 {269-284},
  crossref =	 {RTA04}
}

@InProceedings{MitsuhashiOOY-RTA04,
  author =	 {Mitsuhashi, I. and Oyamaguchi, M. and Ohta, Y. and
                  Yamada, T.},
  title =	 {{The Joinability and Unification Problems for
                  Confluent Semi-constructor TRSs}},
  pages =	 {285-300},
  crossref =	 {RTA04}
}

@InProceedings{MatthewsFFF-RTA04,
  author =	 {Matthews, J. and Findler, R. B. and Flatt, M. and
                  Felleisen, M.},
  title =	 {{A Visual Environment for Developing
                  Context-Sensitive Term Rewriting Systems (system
                  description)}},
  pages =	 {301-311},
  crossref =	 {RTA04}
}

% CROSSREFERENCES
% These must remain at the end of this file.
@Proceedings{RTA04,
  year =	 {2004},
  month =	 jun # {~3-5,},
  editor =	 {van Oostrom, V.},
  title =	 {{Rewriting Techniques and Applications, 15th
                  International Conference, RTA-04}},
  booktitle =	 {{Rewriting Techniques and Applications, 15th
                  International Conference, RTA-04}},
  address =	 {Valencia, Spain},
  series =	 {LNCS 3091},
  isbn =	 {3-540-22153-0},
  publisher =	 {Springer}
}