From Starvation Freedom to All-Path Reachability Problems in Constrained Rewriting.

Misaki Kojima, Naoki Nishida

Browse the full PADL paper archive.