@InProceedings{BaetenW-CTRS87,
author={Baeten, J. C. M. and Weijland, W. P.},
title={{Semantics for Prolog via Tern Rewrite Systems}},
pages={3--14},
crossref={CTRS87}
}

@InProceedings{BousdiraR-CTRS87,
author={Bousdira, W. and R{\'e}my, J.-L.},
title={{Hierarchical Contextual Rewriting with Several Levels}},
pages={15--30},
crossref={CTRS87}
}

@InProceedings{DershowitzOS-CTRS87,
author={Dershowitz, N. and Okada, M. and Sivakumar, G.},
title={{Confluence of Conditional Rewrite Systems}},
pages={31--44},
crossref={CTRS87}
}

@InProceedings{DershowitzS-CTRS87,
author={Dershowitz, N. and Sivakumar, G.},
title={{Solving Goals in Equational Languages}},
pages={45--55},
crossref={CTRS87}
}

@InProceedings{Fribourg-CTRS87,
author={Fribourg, L.},
title={{On the Use of Conditional Rewrite Rules in Inductive Theorem Proving}},
pages={56--61},
crossref={CTRS87}
}

@InProceedings{Ganzinger-CTRS87,
author={Ganzinger, H.},
title={{A Completion Procedure for Conditional Equations}},
pages={62--83},
crossref={CTRS87}
}

@InProceedings{GeserHM-CTRS87,
author={Geser, A. and Hussmann, H. and Mueck, A.},
title={{A Compiler for a Class of Conditional Term Rewriting Systems}},
pages={84--90},
crossref={CTRS87}
}

@InProceedings{GiovannettiM-CTRS87,
author={Giovannetti, E. and Moiso, C.},
title={{Notes on the Elimination of Conditions}},
pages={91--97},
crossref={CTRS87}
}

@InProceedings{Guessarian-CTRS87,
author={Guessarian, I.},
title={{Equational Axiomatizations of If-Then-Else}},
pages={98--110},
crossref={CTRS87}
}

@InProceedings{Heuillard-CTRS87,
author={Heuillard, T.},
title={{Compiling Conditional Rewriting Systems}},
pages={111--128},
crossref={CTRS87}
}

@InProceedings{Kaplan-CTRS87,
author={Kaplan, S.},
title={{Positive / Negative Conditional Rewriting}},
pages={129--143},
crossref={CTRS87}
}

@InProceedings{KounalisR-CTRS87,
author={Kounalis, E. and Rusinowitch, M.},
title={{On Word Problems in Horn Theories}},
pages={144--160},
crossref={CTRS87}
}

@InProceedings{MohanS-CTRS87,
author={Mohan, C. and Srivas, M. K.},
title={{Conditional Specifications with Inequational Assumptions}},
pages={161--178},
crossref={CTRS87}
}

@InProceedings{Okada-CTRS87,
author={Okada, M.},
title={{A Logical Analysis on Theory of Conditional Rewriting}},
pages={179--196},
crossref={CTRS87}
}

@InProceedings{Pelin-CTRS87,
author={Pelin, A.},
title={{Computing with Conditional Rewrite Rules}},
pages={197--211},
crossref={CTRS87}
}

@InProceedings{Plaisted-CTRS87,
author={Plaisted, D. A.},
title={{A Logic for Conditional Term Rewriting Systems}},
pages={212--227},
crossref={CTRS87}
}

@InProceedings{Toyama-CTRS87,
author={Toyama, Y.},
title={{Confluent Term Rewriting Systems with Membership Conditions}},
pages={228--244},
crossref={CTRS87}
}

@InProceedings{TRSPEC-CTRS87,
author={Avenhaus, J. and G{\"o}bel, R. and Gramlich, B. and Madlener, K. and Steinbach, J.},
title={{TRSPEC: A Term Rewriting Based System for Algebraic Specifications}},
pages={245--248},
crossref={CTRS87}
}

@InProceedings{CEC-CTRS87,
author={Bertling, H. and Ganzinger, H. and Sch{\"a}fers, R.},
title={{CEC : A System for the Completion of Conditional Equational Specifications}},
pages={249--250},
crossref={CTRS87}
}

@InProceedings{ASSPEGIQUE-CTRS87,
author={Bidoit, M. and Capy, F. and Choppy, C. and Kaplan, S. and Schlienger, F. and Voisin, F.},
title={{ASSPEGIQUE : An Integrated Specification Environment}},
pages={251--252},
crossref={CTRS87}
}

@InProceedings{REVEUR4-CTRS87,
author={Bousdira, W. and R{\'e}my, J.-L.},
title={{REVEUR4: A Laboratory for Conditional Rewriting}},
pages={253--257},
crossref={CTRS87}
}

@InProceedings{OBJ3-CTRS87,
author={Goguen, J. and Kirchner, C. and Kirchner, H. and M{\'e}grelis, A. and Meseguer, J. and Winkler, T.},
title={{An Introduction to OBJ 3}},
pages={258--263},
crossref={CTRS87}
}

@InProceedings{RAP-CTRS87,
author={Hussmann, H.},
title={{The Passau RAP System: Rapid Prototyping for Algebraic Specifications}},
pages={264--265},
crossref={CTRS87}
}

@InProceedings{RushC-CTRS87,
author={Rush, T. and Coleman, D.},
title={{Architecture for Conditional Term Rewriting}},
pages={266--278},
crossref={CTRS87}
}


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

@Proceedings{CTRS87,
year={1987},
month=jul # {~8--10,},
editor={Kaplan, St{\'e}phane and Jouannaud, Jean-Pierre},
title={{1st International Workshop on Conditional Term Rewriting Systems, CTRS-87}},
booktitle={{1st International Workshop on Conditional Term Rewriting Systems, CTRS-87}},
address={Orsay, France},
series={LNCS 308},
publisher={Springer-Verlag}
}