1. Anantharaman, S., Andrianarivelo, N.: A semi-decision procedure in Horn Theories. technical report, Laboratoire d'Informatique Fondamentale d'Orléans-Laboratoire de Recherche en Informatique d'Orsay, (1991)
2. Bousdira, W., Andrianarivelo, N.: A rewrite-based strategy for theorem proving in first order logic with equality and ordering constraints. technical report, Laboratoire d'Informatique Fondamentale d'Orléans, (1994), 94-4
3. Avenhaus, J., Becker, K.: Conditional Rewriting modulo a Built-in Algebra. technical report Number 11, Universitat Kaiserslautern, West Germany, (1992)
4. Avenhaus, J., Becker, K.: Operational Specifications with Built-Ins. 7th Symposium on Theoretical Aspects of Computer Science, Caen, France, (1994), 263–274
5. Dershowitz, N.: Corrigendum to Termination of Rewriting. In Journal of Symbolic Computation, Vol. 4, 409–410