• Irène Durand and Bruno Salinier.
  Constructor equivalent term rewriting systems.
  Information Processing Letters , 47:131-137, 1993. Also Technical Report LaBRI 92-58.
• Irène Durand and Bruno Salinier.
  Constructor equivalent term rewriting systems are strongly sequential: a direct proof.
  Information Processing Letters , 52:137-145, 1994. Also Technical Report LaBRI 93-20.
• Irène Durand.
  Bounded, strongly sequential and forward-branching term rewriting systems.
  Journal of Symbolic Computation , 18:319-352, 1994. Also Technical Report LaBRI 92-23.
• Irène Durand and Aart Middeldorp.
  Decidable call-by-need computations in term rewriting.
  Information and Computation, 196(2):94-126, 2005.
• Irène Durand.
  Autowrite: A Tool for Term Rewrite Systems and Tree Automata.
  Electronics Notes in Theorical Computer Science, 124(2):29-40, 2005.
• Irène Durand and Sylviane Schwer.
  A tool for reasoning about qualitative temporal information: the theory of s-languages with a lisp implementation
  Journal of Universal Computer Science , ??(??):??-??, 2009.