• Irène Durand and Robert Strandh.
  A decision procedure for forward-branching equational programs.
  Technical Report 05-90, GRECO Programmation, 1990.
• Irène Durand and Robert Strandh.
  A simple characterization of the class of forward-branching equational programs.
  Technical Report 04-91, GRECO Programmation, 1991.
• Irène Durand.
  Bounded, strongly sequential and forward-branching term rewriting systems.
  Technical Report 92-23, Laboratoire Bordelais de Recherche en Informatique, 1992. Published in Journal of Symbolic Computation vol 18, 1994.
• Irène Durand and Bruno Salinier.
  Constructor equivalent term rewriting systems.
  Technical Report 92-58, LABRI, 1992.
  Published in Information Processing Letters vol 47, 1993.
• Irène Durand and Bruno Salinier.
  Constructor equivalent term rewriting systems are strongly sequential: a direct proof.
  Technical Report 93-20, LaBRI, 1993.
  Published in Information Processing Letters vol 52, 1993.
• Irène Durand.
  Deciding strong sequentiality for orthogonal term rewriting systems is in co-np.
  Technical Report 1090-95, LaBRI, 1995. Submitted to RTA'96.
• Irène Durand and Aart Middeldorp.
  Decidable call by need computations in term rewriting. Technical Report 1153-96, LaBRI, 1996. Published in CADE-14, 1997.