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