• 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.