Determinacy and Rewriting of Top-Down and MSO Tree Transformations.

Michael Benedikt, Joost Engelfriet, Sebastian Maneth

Browse the full MFCS paper archive.