"A General Criterion for Avoiding Infinite Unfolding During Partial ..."

Maurice Bruynooghe, Danny De Schreye, Bern Martens (1991)
a service of Schloss Dagstuhl - Leibniz Center for Informatics