Reachability Analysis for Termination and Confluence of Rewriting.

Christian Sternagel, Akihisa Yamada

Browse the full TACAS paper archive.