@InProceedings{McCune-RTA97,
author={McCune, W.},
title={{Well-Behaved Search and the Robbins Problem (invited lecture)}},
pages={1--7},
crossref={RTA97}
}

@InProceedings{Lafont-RTA97,
author={Lafont, Y.},
title={{Two-Dimensional Rewriting (invited lecture)}},
pages={228--229},
crossref={RTA97}
}

@InProceedings{Lynch-RTA97,
author={Lynch, C.},
title={{Goal-Directed Completion Using SOUR Graphs}},
pages={8--22},
crossref={RTA97}
}

@InProceedings{Kapur-RTA97,
author={Kapur, D.},
title={{Shostak's Congruence Closure as Completion}},
pages={23--37},
crossref={RTA97}
}

@InProceedings{KuehlerW-RTA97,
author={K{\"u}hler, U. and Wirth, C.-P.},
title={{Conditional Equational Specifications of Data Types with Partial Operations for Inductive Theorem Proving}},
pages={38--52},
crossref={RTA97}
}

@InProceedings{OttoKK-RTA97,
author={Otto, F. and Katsura, M. and Kobayashi, Y.},
title={{Cross-Sections for Finitely Presented Monoids with Decidable Word Problems}},
pages={53--67},
crossref={RTA97}
}

@InProceedings{SattlerKlein-RTA97,
author={Sattler-Klein, A.},
title={{New Undecidablility Results for Finitely Presented Monoids}},
pages={68--82},
crossref={RTA97}
}

@InProceedings{Otto-RTA97,
author={Otto, F.},
title={{On the Property of Preserving Regularity for String-Rewriting Systems}},
pages={83--97},
crossref={RTA97}
}

@InProceedings{ContejeanMR-RTA97,
author={Contejean, E. and March{\'e}, C. and Rabehasaina, L.},
title={{Rewrite Systems for Natural, Integral, and Rational Arithmetic}},
pages={98--112},
crossref={RTA97}
}

@InProceedings{BachmairT-RTA97,
author={Bachmair, L. and Tiwari, A.},
title={{D-Bases for Polynomial Ideals over Commutative Noetherian Rings}},
pages={113--127},
crossref={RTA97}
}

@InProceedings{Struth-RTA97,
author={Struth, G.},
title={{On the Word Problem for Free Lattices}},
pages={128--141},
crossref={RTA97}
}

@InProceedings{KapurS-RTA97,
author={Kapur, D. and Sivakumar, G.},
title={{A Total, Ground path Ordering for Proving Termination of AC-Rewrite Systems}},
pages={142--156},
crossref={RTA97}
}

@InProceedings{ArtsG-RTA97,
author={Arts, T. and Giesl, J.},
title={{Proving Innermost Normalisation Automatically}},
pages={157--171},
crossref={RTA97}
}

@InProceedings{Zantema-RTA97,
author={Zantema, H.},
title={{Termination of Context-Sensitive Rewriting}},
pages={172--186},
crossref={RTA97}
}

@InProceedings{OyamaguchiO-RTA97,
author={Oyamaguchi, M. and Ohta, Y.},
title={{A New Parallel Closed Condition for Church-Rossser of Left-Linear Term Rewriting Systems}},
pages={187--201},
crossref={RTA97}
}

@InProceedings{Dershowitz-RTA97,
author={Dershowitz, N.},
title={{Innocuous Constructor-Sharing Combinations}},
pages={202--216},
crossref={RTA97}
}

@InProceedings{PerloFreemanP-RTA97,
author={Perlo-Freeman, S. M. H. W. and Pr{\"o}hle, P.},
title={{Scott's Conjecture is True, Position Sensitive Weights}},
pages={217--227},
crossref={RTA97}
}

@InProceedings{BechetGR-RTA97,
author={Bechet, D. and de Groote, P. and Retor{\'e}, C.},
title={{A Complete Axiomatisation for the Inclusion of Series-Parallel Partial Orders}},
pages={230--240},
crossref={RTA97}
}

@InProceedings{Marcinkowski-RTA97,
author={Marcinkowski, J.},
title={{Undecidability of the First Order Theory of One-Step Right Ground Rewriting}},
pages={241--253},
crossref={RTA97}
}

@InProceedings{Vorobyov-RTA97,
author={Vorobyov, S. G.},
title={{The First-Order Theory of One Step Rewriting in Linear Noetherian Systems is Undecidable}},
pages={254--268},
crossref={RTA97}
}

@InProceedings{TomasF-RTA97,
author={Tom{\'a}s, A. P. and Filgueiras, M.},
title={{Solving Linear Diophantine Equations Using the Geometric Structure of the Solution Space}},
pages={269--283},
crossref={RTA97}
}

@InProceedings{Schulz-RTA97,
author={Schulz, K. U.},
title={{A Criterion for Intractability of E-unification with Free Function Symbols and Its Relevance for Combination Algorithms}},
pages={284--298},
crossref={RTA97}
}

@InProceedings{Statman-RTA97,
author={Statman, R.},
title={{Effective Reduction and Conversion Strategies for Combinators}},
pages={299--307},
crossref={RTA97}
}

@InProceedings{vanOostrom-RTA97,
author={van Oostrom, V.},
title={{Finite Family Developments}},
pages={308--322},
crossref={RTA97}
}

@InProceedings{ELAN-RTA97,
author={Ringeissen},
title={{Prototyping Combination of Unification Algorithms with the ELAN Rule-Based Programming Language (system description)}},
pages={323--326},
crossref={RTA97}
}

@InProceedings{MAS-RTA97,
author={G{\"o}bel, M.},
title={{The Invariant Package of MAS (system description)}},
pages={327--330},
crossref={RTA97}
}

@InProceedings{Opal-RTA97,
author={Green, E. L. and Heath, L. S. and Keller, B. J.},
title={{Opal: A System for Computing Noncommutative Gröbner Bases (system description)}},
pages={331--334},
crossref={RTA97}
}

@InProceedings{TRAM-RTA97,
author={Ogata, K. and Ohhara, K. and Futatsugi, K.},
title={{TRAM: An Abstract Machine for Order-Sorted Conditioned Term Rewriting Systems (system description)}},
pages={335--338},
crossref={RTA97}
}


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

@Proceedings{RTA97,
year={1997},
month=jun # {~2--5,},
editor={Comon, Hubert},
title={{Rewriting Techniques and Applications, 8th International Conference, RTA-97}},
booktitle={{Rewriting Techniques and Applications, 8th International Conference, RTA-97}},
address={Sitges, Spain},
series={LNCS 1232},
publisher={Springer-Verlag}
}