"Termination Analysis: Some Practical Properties of the Norm and Level ..."

Stefaan Decorte, Danny De Schreye (1998)
a service of Schloss Dagstuhl - Leibniz Center for Informatics