An Isabelle Formalization of Co-rewrite Pairs for Non-reachability in Term Rewriting.

Dohan Kim, Teppei Saito, Ren Thiemann, Akihisa Yamada

Browse the full CPP paper archive.