Jan-Christoph Kassing

(Probabilistic) Program Verification, Rewriting, Termination

Vertex-Disjoint Tree-Packing and Applications in Term Rewriting