@InProceedings{BachmairG-CTRS94,
author={Bachmair, L. and Ganzinger, H.},
title={{Associative-Commutative Superposition}},
pages={1--14},
crossref={CTRS94}
}

@InProceedings{BasinW-CTRS94,
author={Basin, D. A. and Walsh, T.},
title={{A Calculus for Rippling}},
pages={15--30},
crossref={CTRS94}
}

@InProceedings{Balbiani-CTRS94,
author={Balbiani, P.},
title={{Equation Solving in Geometrical Theories}},
pages={31--50},
crossref={CTRS94}
}

@InProceedings{BockmayrW-CTRS94,
author={Bockmayr, A. and Werner, A.},
title={{LSE Narrowing for Decreasing Conditional Term Rewrite Systems}},
pages={51--70},
crossref={CTRS94}
}

@InProceedings{Buendgen-CTRS94,
author={B{\"u}ndgen, R.},
title={{Preserving Confluence for Rewrite Systems with Built-in Operations}},
pages={71--88},
crossref={CTRS94}
}

@InProceedings{Dershowitz-CTRS94,
author={Dershowitz, N.},
title={{Hierarchical Termination}},
pages={89--105},
crossref={CTRS94}
}

@InProceedings{FerreiraZ-CTRS94,
author={Ferreira, M. C. F. and Zantema, H.},
title={{Well-foundedness of Term Orderings}},
pages={106--123},
crossref={CTRS94}
}

@InProceedings{Gelis-CTRS94,
author={G{\'e}lis, J.-M.},
title={{A New Characterisation of AC-Termination and Application}},
pages={124--143},
crossref={CTRS94}
}

@InProceedings{GlauertK-CTRS94,
author={Glauert, J. and Khasidashvili, Z.},
title={{Relative Normalization in Orthogonal Expression Reduction Systems}},
pages={144--165},
crossref={CTRS94}
}

@InProceedings{Gramlich-CTRS94,
author={Gramlich, B.},
title={{On Termination and Confluence of Conditional Rewrite Systems}},
pages={166--185},
crossref={CTRS94}
}

@InProceedings{Hintermeier-CTRS94,
author={Hintermeier, C.},
title={{How to Transform Canonical Decreasing HCTRs into Equivalent Canonical TRSs}},
pages={186--205},
crossref={CTRS94}
}

@InProceedings{Hoot-CTRS94,
author={Hoot, C.},
title={{Termination for Restricted Derivations and Conditional Rewrite Systems}},
pages={206--222},
crossref={CTRS94}
}

@InProceedings{Inverardi-CTRS94,
author={Inverardi, P.},
title={{Rewriting for Preorder Relations}},
pages={223--234},
crossref={CTRS94}
}

@InProceedings{JouannaudS-CTRS94,
author={Jouannaud, J.-P. and Sadfi, W.},
title={{Strong Sequentiality of Left-Linear Overlapping Rewrite Systems}},
pages={235--246},
crossref={CTRS94}
}

@InProceedings{Kennaway-CTRS94,
author={Kennaway, R.},
title={{A Conflict Between Call-by-Need Computation and Parallelism}},
pages={247--262},
crossref={CTRS94}
}

@InProceedings{KucherovR-CTRS94,
author={Kucherov, G. and Rusinowitch, M.},
title={{The Complexity of Testing Ground Reducibility for linear Word Rewriting Systems with Variables}},
pages={263--275},
crossref={CTRS94}
}

@InProceedings{MoriM-CTRS94,
author={Mori, A. and Matsumoto, Y.},
title={{Coherence for Cartesian Closed Categories: A Sequential Approach}},
pages={276--295},
crossref={CTRS94}
}

@InProceedings{Ohlebusch-CTRS94,
author={Ohlebusch, E.},
title={{Modular Properties of Constructor-Sharing Conditional Term Rewriting Systems}},
pages={296--315},
crossref={CTRS94}
}

@InProceedings{ToyamaO-CTRS94,
author={Toyama, Y. and Oyamaguchi, M.},
title={{Church-Rosser Property and Unique Normal Form Property of Non-Duplicating Term Rewriting Systems}},
pages={316--331},
crossref={CTRS94}
}

@InProceedings{VerheulK-CTRS94,
author={Verheul, J. C. and Kluit, P. G.},
title={{The Transformation of Term Rewriting Systems Based on Well-formedness Preserving Mappings}},
pages={332--352},
crossref={CTRS94}
}

@InProceedings{WirthB-CTRS94,
author={Wirth, C.-P. and Becker, K.},
title={{Abstract Notions and Inference Systems for proofs by Mathematical Induction}},
pages={353--373},
crossref={CTRS94}
}


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

@Proceedings{CTRS94,
year={1994},
month=jul # {~13--15,},
editor={Dershowitz, Nachum},
title={{4th International Workshop on Conditional Term Rewriting Systems, CTRS-94}},
booktitle={{4th International Workshop on Conditional Term Rewriting Systems, CTRS-94}},
address={Jerusalem, Israel},
series={LNCS 968},
publisher={Springer-Verlag}
}