A Formalization of the Development Closedness Criterion for Left-Linear Term Rewrite Systems.

Christina Kohl, Aart Middeldorp

Browse the full CPP paper archive.