Dieter Hofbauer

Termination Restricted to Right-Forward Closures

by René Thiemann, Dieter Hofbauer, Ulysse Le Huitouze and Johannes Waldmann