The Complexity of Verifying Ground Tree Rewrite Systems | IEEE Conference Publication | IEEE Xplore