Links for delta-reduce