Some Further Issues in Finite Unfolding (Abstract).

Bern Martens, Danny De Schreye

Browse the full LOPSTR paper archive.