Constructor Equivalent Term Rewriting Systems. - Irène Durand; Bruno Salinier (Inf. Process. Lett., 1993)

Constructor Equivalent Term Rewriting Systems are Strongly Sequential: A Direct Proof. - Irène Durand; Bruno Salinier (Inf. Process. Lett., 1994)

Efficient Simulation of Forward-Branching Systems with Constructor Systems. - Bruno Salinier; Robert Strandh (J. Symb. Comput., 1996)

Simulating Forward-Branching Systems with Constructor Systems. - Bruno Salinier; Robert Strandh (TAPSOFT, 1997)