Christina Kohl, Aart Middeldorp: A Formalization of the Development Closedness Criterion for Left-Linear Term Rewrite Systems. CPP 2023: 197-210