ProTeM: A Proof Term Manipulator (System Description). - Christina Kohl; Aart Middeldorp (FSCD, 2018)

Composing Proof Terms. - Christina Kohl; Aart Middeldorp (CADE, 2019)

A Formalization of the Development Closedness Criterion for Left-Linear Term Rewrite Systems. - Christina Kohl; Aart Middeldorp (CPP, 2023)

Formalizing Almost Development Closed Critical Pairs (Short Paper). - Christina Kohl; Aart Middeldorp (ITP, 2023)