Automating the First-Order Theory of Rewriting for Left-Linear Right-Ground Rewrite Systems. - Franziska Rapp; Aart Middeldorp (FSCD, 2016)

FORT 2.0. - Franziska Rapp; Aart Middeldorp (IJCAR, 2018)

Layer Systems for Confluence - Formalized. - Bertram Felgenhauer; Franziska Rapp (ICTAC, 2018)

A verified ground confluence tool for linear variable-separated rewrite systems in Isabelle/HOL. - Bertram Felgenhauer; Aart Middeldorp; T. V. H. Prathamesh; Franziska Rapp (CPP, 2019)