@InProceedings{Klop-RTA98,
author={Klop, J. W.},
title={{Origin Tracking in Term Rewriting (invited lecture)}},
pages={1},
crossref={RTA98}
}

@InProceedings{Plotkin-RTA98,
author={Plotkin, G.},
title={{Binding Algebras: A Step between Universal Algebra and Type Theory (invited lecture)}},
crossref={RTA98}
}

@InProceedings{Okui-RTA98,
author={Okui, S.},
title={{Simultaneous Critical Pairs and Church-Rosser Property}},
pages={2--16},
crossref={RTA98}
}

@InProceedings{Ohlebusch-RTA98,
author={Ohlebusch, E.},
title={{Church-Rosser Theorems for Abstract Reduction Modulo an Equivalence Relation}},
pages={17--31},
crossref={RTA98}
}

@InProceedings{OttoSM-RTA98,
author={Otto, F. and Sattler-Klein, A. and Madlener, K.},
title={{Automatic Monoids Versus Monoids with Finite Convergent Presentations}},
pages={32--46},
crossref={RTA98}
}

@InProceedings{Levy-RTA98,
author={Levy, J.},
title={{Decidable and Undecidable Second-Order Unification Problems}},
pages={47--60},
crossref={RTA98}
}

@InProceedings{SchmidtSchaussS-RTA98,
author={Schmidt-Schau{\ss}, M. and Schulz, K. U.},
title={{On the Exponent of Periodicity of Minimal Solutions of Context Equation}},
pages={61--75},
crossref={RTA98}
}

@InProceedings{JacquemardMW-RTA98,
author={Jacquemard, F. and Meyer, C. and Weidenbach, C.},
title={{Unification in Extension of Shallow Equational Theories}},
pages={76--90},
crossref={RTA98}
}

@InProceedings{GuoNS-RTA98,
author={Guo, Q. and Narendran, P. and Shukla, S. K.},
title={{Unification and Matching in Process Algebras}},
pages={91--105},
crossref={RTA98}
}

@InProceedings{Schmidt-RTA98,
author={Schmidt, R. A.},
title={{E-Unification for Subsystems of S4}},
pages={106--120},
crossref={RTA98}
}

@InProceedings{LimetR-RTA98,
author={Limet, S. and R\'ety, P.},
title={{Solving Disequations Modulo Some Class of Rewrite Systems}},
pages={121--135},
crossref={RTA98}
}

@InProceedings{Comon-RTA98,
author={Comon, H.},
title={{About Proofs by Consistency (invited lecture)}},
pages={136--137},
crossref={RTA98}
}

@InProceedings{Waldmann-RTA98,
author={Waldmann, J.},
title={{Normalization of S-Terms is Decidable}},
pages={138--150},
crossref={RTA98}
}

@InProceedings{Genet-RTA98,
author={Genet, T.},
title={{Decidable Approximations of Sets of Descendants and Sets of Normal Forms}},
pages={151--165},
crossref={RTA98}
}

@InProceedings{VermaRL-RTA98,
author={Verma, R. M. and Rusinowitch, M. and Lugiez, D.},
title={{Algorithms and Reductions for Rewriting Problems}},
pages={166--180},
crossref={RTA98}
}

@InProceedings{DegtyarevGNVV-RTA98,
author={Degtyarev, A. and Gurevich, Y. and Narendran, P. and Veanes, M. and Voronkov, A.},
title={{The Decidability of Simultaneous Rigid E-Unification with One Variable}},
pages={181--195},
crossref={RTA98}
}

@InProceedings{Mueller-RTA98,
author={M{\"u}ller, M. and Niehren, J.},
title={{Ordering Constraints over Feature Trees Expressed in Second-Order Monadic Logic}},
pages={196--210},
crossref={RTA98}
}

@InProceedings{CharatonikP-RTA98,
author={Charatonik, W. and Podelski, A.},
title={{Co-definite Set Constraints}},
pages={211-225},
crossref={RTA98}
}

@InProceedings{ArtsG-RTA98,
author={Arts, T. and Giesl, J.},
title={{Modularity of Termination Using Dependency pairs}},
pages={226--240},
crossref={RTA98}
}

@InProceedings{MarcheU-RTA98,
author={March{\'e}, C. and Urbain, X.},
title={{Termination of Associative-Commutative Rewriting by Dependency Pairs}},
pages={241--255},
crossref={RTA98}
}

@InProceedings{AotoT-RTA98,
author={Aoto, T. and Toyama, Y.},
title={{Termination Transformation by Tree Lifting Ordering}},
pages={256--270},
crossref={RTA98}
}

@InProceedings{Xi-RTA98,
author={Xi, H.},
title={{Towards Automated Termination Proofs through "Freezing"}},
pages={271--285},
crossref={RTA98}
}

@InProceedings{DanvyR-RTA98,
author={Danvy, O. and Rose, K. H.},
title={{Higher-Order Rewriting and Partial Evaluation}},
pages={286--301},
crossref={RTA98}
}

@InProceedings{Akama-RTA98,
author={Akama, Y.},
title={{SN Combinators and Partial Combinatory Algebras}},
pages={302--316},
crossref={RTA98}
}

@InProceedings{Fuchs-RTA98,
author={Fuchs, D.},
title={{Coupling Saturation-Based Provers by Exchanging Positive/Negative Information}},
pages={317--331},
crossref={RTA98}
}

@InProceedings{DershowitzT-RTA98,
author={Dershowitz, N. and Treinen, R.},
title={{An On-line Problem Database}},
pages={332--342},
crossref={RTA98}
}


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

@Proceedings{RTA98,
year={1998},
month=mar # {~30~--~} # apr # {~1,},
editor={Nipkow, Tobias},
title={{Rewriting Techniques and Applications, 9th International Conference, RTA-98}},
booktitle={{Rewriting Techniques and Applications, 9th International Conference, RTA-98}},
address={Tsukuba, Japan},
series={LNCS 1379},
publisher={Springer-Verlag}
}