Constructor equivalent term rewriting systemsSimulating forward-branching systems with constructor systems
