"Proving Termination of Graph Transformation Systems Using Weighted Type ..."

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