@InProceedings{BronsardR-CTRS90,
author={Bronsard, F. and Reddy, U. S.},
title={{Conditional Rewriting in Focus}},
pages={2--13},
crossref={CTRS90}
}

@InProceedings{Dershowitz-CTRS90,
author={Dershowitz, N.},
title={{A Maximal-Literal Unit Strategy for Horn Clauses}},
pages={14--25},
crossref={CTRS90}
}

@InProceedings{KlopV-CTRS90,
author={Klop, J. W. and de Vrijer, R.},
title={{Extended Term Rewriting Systems (invited paper)}},
pages={26--50},
crossref={CTRS90}
}

@InProceedings{KounalisR-CTRS90,
author={Kounalis, E. and Rusinowitch, M.},
title={{A Proof System for Conditional Algebraic Specifications}},
pages={51--63},
crossref={CTRS90}
}

@InProceedings{Meseguer-CTRS90,
author={Meseguer, J.},
title={{Conditional Rewriting Logic: Deduction, Models and Concurrency (invited paper)}},
pages={64--91},
crossref={CTRS90}
}

@InProceedings{Mohan-CTRS90,
author={Mohan, C. K.},
title={{Equivalences of Rewrite Programs}},
pages={92--99},
crossref={CTRS90}
}

@InProceedings{ChenHK-CTRS90,
author={Chen, H. and Hsiang, J. and Kong, H.-C.},
title={{On Finite Representations of Infinite Sequences of Terms}},
pages={100--114},
crossref={CTRS90}
}

@InProceedings{ChenO-CTRS90a,
author={Chen, Y. and O'Donnell, M. J.},
title={{Infinite Terms and Infinite Rewritings}},
pages={115--126},
crossref={CTRS90}
}

@InProceedings{ChenO-CTRS90b,
author={Chen, Y. and O'Donnell, M. J.},
title={{Testing Confluence of Nonterminating Rewriting Systems}},
pages={127--136},
crossref={CTRS90}
}

@InProceedings{HodgsonK-CTRS90,
author={Hodgson, B. R. and Kent, C. F.},
title={{A Survey of Ordinal Interpretations of Type $\epsilon_0$ for Termination of Rewriting Systems}},
pages={137--142},
crossref={CTRS90}
}

@InProceedings{KirchnerH-CTRS90,
author={Kirchner, H. and Hermann, M.},
title={{Meta-rule Synthesis from Crossed Rewrite Systems}},
pages={143--155},
crossref={CTRS90}
}

@InProceedings{AnantharamanB-CTRS90,
author={Anantharaman, S. and Bonacina, M. P.},
title={{An Application of Automated Equational Reasoning to Many-Valued Logic}},
pages={156--161},
crossref={CTRS90}
}

@InProceedings{BachmairG-CTRS90,
author={Bachmair, L. and Ganzinger, H.},
title={{Completion of First-Order Clauses with Equality by Strict Superposition (invited paper)}},
pages={162--180},
crossref={CTRS90}
}

@InProceedings{Bertling-CTRS90,
author={Bertling, H.},
title={{Knuth-Bendix Completion of Horn Clause Programs for Restricted Linear Resolution and Paramodulation}},
pages={181--193},
crossref={CTRS90}
}

@InProceedings{BeversL-CTRS90,
author={Bevers, E. and Lewi, J.},
title={{Proof by Consistency in Conditional Equational Theories}},
pages={194--205},
crossref={CTRS90}
}

@InProceedings{BonacinaH-CTRS90,
author={Bonacina, M. P. and Hsiang, J.},
title={{Completion Procedures as Semi-Decision Procedures (invited paper)}},
pages={206--232},
crossref={CTRS90}
}

@InProceedings{Devie-CTRS90,
author={Devie, H.},
title={{Linear Completion}},
pages={233--245},
crossref={CTRS90}
}

@InProceedings{NieuwenhuisO-CTRS90,
author={Nieuwenhuis, R. and Orejas, F.},
title={{Clausal Rewriting}},
pages={246--261},
crossref={CTRS90}
}

@InProceedings{Barbanera-CTRS90,
author={Barbanera, F.},
title={{Adding Algebraic Rewriting to the Calculus of Constructions: Strong Normalization Preserved}},
pages={262--271},
crossref={CTRS90}
}

@InProceedings{BousdiraR-CTRS90,
author={Bousdira, W. and R{\'e}my, J.-L.},
title={{On Sufficient Completeness of Conditional Specifications}},
pages={272--286},
crossref={CTRS90}
}

@InProceedings{LichtensteinK-CTRS90,
author={Lichtenstein, N. and Kaplan, S.},
title={{FPL: Functional Plus Logic Programming. An Integration of the FP and Prolog Languages}},
pages={287--294},
crossref={CTRS90}
}

@InProceedings{Middeldorp-CTRS90,
author={Middeldorp, A.},
title={{Confluence of the Disjoint Union of Conditional Term Rewriting Systems}},
pages={295--306},
crossref={CTRS90}
}

@InProceedings{Plump-CTRS90,
author={Plump, D.},
title={{Implementing Term Rewriting by Graph Reduction: Termination of Combined Systems}},
pages={307--319},
crossref={CTRS90}
}

@InProceedings{AidaGM-CTRS90,
author={Aida, H. and Goguen, J. and Meseguer, J.},
title={{Compiling Concurrent Rewriting onto the Rewrite Rule Machine}},
pages={320--332},
crossref={CTRS90}
}

@InProceedings{Antoy-CTRS90,
author={Antoy, S.},
title={{Design Strategies for Rewrite Rules}},
pages={333--341},
crossref={CTRS90}
}

@InProceedings{GalbiatiT-CTRS90,
author={Galbiati, L. and Talcott, C.},
title={{A Simplifier for Untyped Lambda Expressions}},
pages={342--353},
crossref={CTRS90}
}

@InProceedings{vanEekelenPS-CTRS90,
author={van Eekelen, M. C. J. D. and Plasmeijer, M. J. and Smetsers, J. E. W.},
title={{Parallel Graph Rewriting on Loosely Coupled Machine Architectures}},
pages={354--371},
crossref={CTRS90}
}

@InProceedings{Amadio-CTRS90,
author={Amadio, R. M.},
title={{Typed Equivalence, Type Assignment and Type Containment}},
pages={372--382},
crossref={CTRS90}
}

@InProceedings{EmeleZ-CTRS90,
author={Emele, M. and Zajac, R.},
title={{A Fixed-Point Semantics for Feature Type Systems}},
pages={383--388},
crossref={CTRS90}
}

@InProceedings{Stell-CTRS90,
author={Stell, J. G.},
title={{Unique-Sort Order-Sorted Theories: A Description as Monad Morphisms}},
pages={389--400},
crossref={CTRS90}
}

@InProceedings{Sun-CTRS90,
author={Sun, Y.},
title={{Equational Logics (Birkhoff's Method Revisited)}},
pages={401--406},
crossref={CTRS90}
}

@InProceedings{Waldmann-CTRS90,
author={Waldmann, U.},
title={{Compatibility of Order-Sorted Rewrite Rules}},
pages={407--417},
crossref={CTRS90}
}

@InProceedings{AguzziMV-CTRS90,
author={Aguzzi, G. and Modigliani, U. and Verri, M. C.},
title={{A Universal Termination Condition for Solving Goals in Equational Languages}},
pages={418--423},
crossref={CTRS90}
}

@InProceedings{DarlingtonG-CTRS90,
author={Darlington, J. and Guo, Y.},
title={{Constrained Equational Deduction}},
pages={424--435},
crossref={CTRS90}
}

@InProceedings{Nipkow-CTRS90,
author={Nipkow, T.},
title={{Higher-Order Unification, Polymorphism, and Subsorts}},
pages={436--447},
crossref={CTRS90}
}

@InProceedings{Qian-CTRS90,
author={Qian, Z.},
title={{Second-Order Unification in the Presence of Linear Shallow Algebraic Equations}},
pages={448--453},
crossref={CTRS90}
}

@InProceedings{SnyderL-CTRS90,
author={Snyder, W. and Lynch, C.},
title={{An Inference System for Horn Clause Logic with Equality: A Foundation for Conditional E-Unification and for Logic Programming in the Presence of Equality}},
pages={454--461},
crossref={CTRS90}
}


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

@Proceedings{CTRS90,
year={1990},
month=jun # {~11--14,},
editor={Kaplan, St{\'e}phane and Okada, Mitsuhiro},
title={{2nd International Workshop on Conditional and Typed Rewriting Systems, CTRS-90}},
booktitle={{2nd International Workshop on Conditional and Typed Rewriting Systems, CTRS-90}},
address={Montreal, Canada},
series={LNCS 516},
publisher={Springer-Verlag}
}