The Complexity of Verifying Ground Tree Rewrite Systems.

Stefan Gller, Anthony Widjaja Lin

Browse the full LICS paper archive.