"Towards a Systematic Method for Proving Termination of Graph ..."

H. J. Sander Bruggink (2008)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics