@InProceedings{Meinke-CTRS92,
author={Meinke, K.},
title={{Algebraic Semantics of Rewriting Terms and Types (invited lecture)}},
pages={1--20},
crossref={CTRS92}
}

@InProceedings{Kahrs-CTRS92,
author={Kahrs, S.},
title={{Context Rewriting}},
pages={21--35},
crossref={CTRS92}
}

@InProceedings{Rose-CTRS92,
author={Rose, K. H.},
title={{Explicit Cycling Substitutions}},
pages={36--50},
crossref={CTRS92}
}

@InProceedings{Banach-CTRS92,
author={Banach, R.},
title={{Simple Type Inference for Term Graph Rewriting Systems}},
pages={51--66},
crossref={CTRS92}
}

@InProceedings{AntimirovD-CTRS92,
author={Antimirov, V. M. and Degtyarev, A. I.},
title={{Consistency and Semantics of Equational Definitions over Predefined Algebras}},
pages={67--81},
crossref={CTRS92}
}

@InProceedings{Middeldorp-CTRS92,
author={Middeldorp, A.},
title={{Completeness of Combinations of Conditional Constructor Systems}},
pages={82--96},
crossref={CTRS92}
}

@InProceedings{Plump-CTRS92,
author={Plump, D.},
title={{Collapsed Tree Rewriting: Completeness, Confluence, and Modularity}},
pages={97--112},
crossref={CTRS92}
}

@InProceedings{Ohlebusch-CTRS92,
author={Ohlebusch, E.},
title={{Combinations of Simplifying Conditional Term Rewriting Systems}},
pages={113--127},
crossref={CTRS92}
}

@InProceedings{Gramlich-CTRS92,
author={Gramlich, B.},
title={{Sufficient Conditions for Modular Termination of Conditional Term Rewriting Systems}},
pages={128--142},
crossref={CTRS92}
}

@InProceedings{LoriaSaenzS-CTRS92,
author={Loria-Saenz, C. and Steinbach, J.},
title={{Termination of Combined (Rewrite and lambda-Calculus) Systems}},
pages={143--147},
crossref={CTRS92}
}

@InProceedings{Zantema-CTRS92a,
author={Zantema, H.},
title={{Type Removal in Term Rewriting}},
pages={148--154},
crossref={CTRS92}
}

@InProceedings{Zantema-CTRS92b,
author={Zantema, H.},
title={{Termination of Term Rewriting by Interpretation}},
pages={155--167},
crossref={CTRS92}
}

@InProceedings{DershowitzM-CTRS92,
author={Dershowitz, N. and Mitra, S.},
title={{Path Orderings for Termination of Associative-Commutative Rewriting}},
pages={168--174},
crossref={CTRS92}
}

@InProceedings{Padawitz-CTRS92,
author={Padawitz, P.},
title={{Generic Induction Proofs (invited lecture)}},
pages={175--197},
crossref={CTRS92}
}

@InProceedings{WirthG-CTRS92,
author={Wirth, C.-P. and Gramlich, B.},
title={{A Constructor-Based Approach for Positive/Negative-Conditional Equational Specifications}},
pages={198--212},
crossref={CTRS92}
}

@InProceedings{Becker-CTRS92,
author={Becker, K.},
title={{Semantics for Positive/Negative Conditional Rewrite Systems}},
pages={213--225},
crossref={CTRS92}
}

@InProceedings{GanzingerS-CTRS92,
author={Ganzinger, H. and Stuber, J.},
title={{Inductive Theorem Proving by Consistency for First-Order Clauses}},
pages={226--241},
crossref={CTRS92}
}

@InProceedings{BronsardR-CTRS92,
author={Bronsard, F. and Reddy, U. S.},
title={{Reduction Techniques for First-Order Reasoning}},
pages={242--256},
crossref={CTRS92}
}

@InProceedings{PlaistedACL-CTRS92,
author={Plaisted, D. and Alexander, G. and Chu, H. and Lee, S.-J.},
title={{Conditional Term-Rewriting and First-Order Theorem Proving (invited lecture)}},
pages={257--271},
crossref={CTRS92}
}

@InProceedings{KucherovT-CTRS92,
author={Kucherov, G. and Tajine, M.},
title={{Decidability of Regularity and Related Properties of Ground Normal Form Languages}},
pages={272--286},
crossref={CTRS92}
}

@InProceedings{HofbauerH-CTRS92,
author={Hofbauer, D. and Huber, M.},
title={{Computing Linearizations Using Test-Sets}},
pages={287--301},
crossref={CTRS92}
}

@InProceedings{Zhang-CTRS92a,
author={Zhang, H.},
title={{Proving Group Isomorphism Theorems}},
pages={302--306},
crossref={CTRS92}
}

@InProceedings{Dershowitz-CTRS92,
author={Dershowitz, N.},
title={{Semigroups Satisfying $x^{m+n}=x^n$}},
pages={307--314},
crossref={CTRS92}
}

@InProceedings{Vorobyov-CTRS92,
author={Vorobyov, S.},
title={{Could Orders Be Captured By Term Rewriting Systems?}},
pages={315--327},
crossref={CTRS92}
}

@InProceedings{Stokkermans-CTRS92,
author={Stokkermans, K.},
title={{A Categorical Formulation for Critical-Pair/Completion Procedures}},
pages={328--342},
crossref={CTRS92}
}

@InProceedings{WangP-CTRS92,
author={Wang, Y. and Parnas, D. L.},
title={{Trace Rewriting Systems}},
pages={343--356},
crossref={CTRS92}
}

@InProceedings{Fraus-CTRS92,
author={Fraus, U.},
title={{A Calculus for Conditional Inductive Theorem Proving}},
pages={357--362},
crossref={CTRS92}
}

@InProceedings{Zhang-CTRS92b,
author={Zhang, H.},
title={{Implementing Contextual Rewriting}},
pages={363--377},
crossref={CTRS92}
}

@InProceedings{Yamada-CTRS92,
author={Yamada, J.},
title={{Confluence of Terminating Membership Conditional TRS}},
pages={378--392},
crossref={CTRS92}
}

@InProceedings{With-CTRS92,
author={With, L.},
title={{Completeness and Confluence of Order-Sorted Term Rewriting}},
pages={393--407},
crossref={CTRS92}
}

@InProceedings{Hoot-CTRS92,
author={Hoot, C.},
title={{Completion for Constrained Term Rewriting Systems}},
pages={408--423},
crossref={CTRS92}
}

@InProceedings{Takano-CTRS92,
author={Takano, A.},
title={{Generalized Partial Computation using Disunification to Solve Constraints}},
pages={424--428},
crossref={CTRS92}
}

@InProceedings{Pacholski-CTRS92,
author={Pacholski, L.},
title={{Decidability of Finiteness Properties (invited lecture)}},
pages={429},
crossref={CTRS92}
}

@InProceedings{GanzingerW-CTRS92,
author={Ganzinger, H. and Waldmann, U.},
title={{Termination Proofs of Well-Moded Logic Programs Via Conditional Rewrite Systems}},
pages={430--437},
crossref={CTRS92}
}

@InProceedings{BonnierW-CTRS92,
author={Bonnier, S. and Wallgren, J.},
title={{Logic Programs with Polymorphic Types: A Condition for Static Type Checking}},
pages={438--447},
crossref={CTRS92}
}

@InProceedings{Antoy-CTRS92,
author={Antoy, S.},
title={{Normalization by Leftmost Innermost Rewriting}},
pages={448--457},
crossref={CTRS92}
}

@InProceedings{InverardiN-CTRS92,
author={Inverardi, P. and Nesi, M.},
title={{A Strategy to Deal with Divergent Rewrite Systems}},
pages={458--467},
crossref={CTRS92}
}

@InProceedings{Delsart-CTRS92,
author={Delsart, B.},
title={{A New Approach tO general E-Unification Based on Conditional Rewriting Systems}},
pages={468--482},
crossref={CTRS92}
}

@InProceedings{BockmayrKW-CTRS92,
author={Bockmayr, A. and Krischer, S. and Werner, A.},
title={{An Optimal Narrowing Strategy for General Canonical Systems}},
pages={483--497},
crossref={CTRS92}
}

@InProceedings{FangK-CTRS92,
author={Fang, W. and Kao, J.-H.},
title={{Set-Of-Support Strategy for Higher-Order Logic}},
pages={498--501},
crossref={CTRS92}
}


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

@Proceedings{CTRS92,
year={1992},
month=jul # {~8--10,},
editor={R{\'e}my, Jean-Luc and Rusinowitch, Micha{\"e}l},
title={{3rd International Workshop on Conditional Term Rewriting Systems, CTRS-92}},
booktitle={{3rd International Workshop on Conditional Term Rewriting Systems, CTRS-92}},
address={Pont-{\`a}-Mousson, France},
series={LNCS 656},
publisher={Springer-Verlag}
}