Efficient Algorithms for the DTL Reconciliation Problem